| 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 |
| Tue, 23 Feb 2010 14:11:32 +0100 | haftmann | merged | changeset | files |
| Tue, 23 Feb 2010 10:11:49 +0100 | haftmann | dropped axclass; dropped Id; session theory Hoare.thy | changeset | files |
| Tue, 23 Feb 2010 10:11:31 +0100 | haftmann | dropped session W0; c.f. MiniML in AFP | changeset | files |
| Tue, 23 Feb 2010 10:11:16 +0100 | haftmann | dropped axclass, going back to purely syntactic type classes | changeset | files |
| Tue, 23 Feb 2010 10:11:15 +0100 | haftmann | dropped axclass; dropped Id | changeset | files |