src/HOL/Unix/ROOT.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

setmp_noncritical print_mode (! print_mode @ ["no_brackets", "no_type_brackets"])
  use_thys ["Unix"];