ROOTS

use same default for FO and HO provers w.r.t. induction principles, based on evaluation -- this also simplifies the code

src/Pure
src/FOL
src/HOL
src/ZF
src/CCL
src/CTT
src/Cube
src/FOLP
src/LCF
src/Sequents
src/Doc
src/Tools