| Tue, 23 Feb 2010 17:33:03 +0100 | hoelzl | Moved old Integration to examples. | changeset | files |
| Tue, 23 Feb 2010 16:58:21 +0100 | bulwahn | merged | changeset | files |
| Tue, 23 Feb 2010 14:00:36 +0100 | bulwahn | merged | changeset | files |
| 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 |
| Tue, 23 Feb 2010 14:13:14 +0100 | haftmann | merged | changeset | files |