adding ROOT.ML to HOL-Mutabelle session; uncommenting HOL.induct constants in Mutabelle session

adopting mutabelle and quickcheck to return timing information; exporting make_case_combs in datatype package for predicate compiler; adding Spec_Rules declaration for tail recursive functions; improving the predicate compiler and function flattening

separated narrowing timeouts for intermediate and final steps

merged

merged

dropped axclass; dropped Id; session theory Hoare.thy