Mon, 03 Jul 2006 17:17:41 +0200 | webertj | CNF tactic invocations moved into comments | changeset | files |
Mon, 03 Jul 2006 16:25:10 +0200 | webertj | comment added | changeset | files |
Sun, 02 Jul 2006 17:27:10 +0200 | urbanc | added more infrastructure for the recursion combinator | changeset | files |
Fri, 30 Jun 2006 18:26:36 +0200 | nipkow | normal_form to lemma test | changeset | files |
Fri, 30 Jun 2006 18:26:22 +0200 | nipkow | normalization uses refl now | changeset | files |
Fri, 30 Jun 2006 12:22:29 +0200 | mengj | Removed some incorrect axioms. | changeset | files |
Fri, 30 Jun 2006 12:04:17 +0200 | haftmann | fixed stale theory bug | changeset | files |