| Mon, 03 Jun 2002 09:36:30 +0200 | nipkow | Added ex/MergeSort | changeset | files |
| Fri, 31 May 2002 18:52:23 +0200 | berghofe | Added constants for Hyp, Oracle and MinProof. | changeset | files |
| Fri, 31 May 2002 18:50:03 +0200 | berghofe | Changed interface of Pattern.rewrite_term. | changeset | files |
| Fri, 31 May 2002 18:49:31 +0200 | berghofe | Changed interface of MetaSimplifier.rewrite_term. | changeset | files |
| Fri, 31 May 2002 18:48:31 +0200 | berghofe | Changed interface of rewrite_term. | changeset | files |
| Fri, 31 May 2002 18:47:11 +0200 | berghofe | Changes to rewrite_term: | changeset | files |
| Fri, 31 May 2002 15:06:06 +0200 | paulson | conversion of Finite to Isar format | changeset | files |