| Wed, 20 Jan 2010 18:02:22 +0100 | bulwahn | added registration of equational theorems from prim_rec and rec_def to Spec_Rules | changeset | files |
| Wed, 20 Jan 2010 14:09:46 +0100 | bulwahn | merged | changeset | files |
| 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 |
| Fri, 22 Jan 2010 13:39:00 +0100 | haftmann | simplified proofs | changeset | files |
| Fri, 22 Jan 2010 13:38:40 +0100 | haftmann | NEWS | changeset | files |
| Fri, 22 Jan 2010 13:38:29 +0100 | haftmann | more accurate dependencies | changeset | files |