adding switch for solve_simple_eqn
Merge branch 'Thesis' of github.com:beta-ziliani/coq into Thesis