ROOTS

take 'induction_rules' into consideration, as well as 'max_facts' even when 'only' is set

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