| Mon, 18 Jan 2010 10:34:27 +0100 | krauss | function package: declare Spec_Rules for simps from total functions, but not psimps or tail-rec equations | changeset | files |
| Wed, 20 Jan 2010 14:05:17 +0100 | bulwahn | merged | changeset | files |
| Wed, 20 Jan 2010 11:56:45 +0100 | bulwahn | refactoring the predicate compiler; adding theories for Sequences; adding retrieval to Spec_Rules; adding timing to Quickcheck | changeset | files |