| Tue, 23 Feb 2010 13:57:51 +0100 | bulwahn | adding ROOT.ML to HOL-Mutabelle session; uncommenting HOL.induct constants in Mutabelle session | changeset | files |
| Tue, 23 Feb 2010 13:36:15 +0100 | bulwahn | 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 | changeset | files |
| Tue, 23 Feb 2010 15:20:19 +0100 | boehmes | separated narrowing timeouts for intermediate and final steps | changeset | files |