[SMT-LIB] 2nd edition of the decision procedures book

[Ofer Strichman]

Hi everyone, 
Springer is interested in publishing a second edition of the "decision procedures - an algorithmic point of view' book, that I know some of you have / saw / helped us with in the first edition. 

Our question is: do you have recommendations for:
1. Fixes (the web page www.decision-procedures.org already contains a list of known errors -- see 'errata')
2. Things that should be removed, 
3. Things that should be added. 

Thank you !! 

Ofer & Daniel