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 |
Fri, 31 May 2002 12:27:24 +0200 | paulson | finished an incomplete proof | changeset | files |