src/HOL/main.ML

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

(*side-entry for HOL-Main*)
use_thys ["Main"];