Thu, 12 Nov 1998 16:45:17 +0100 | nipkow | *** empty log message *** | changeset | files |
Thu, 12 Nov 1998 11:27:36 +0100 | paulson | mesontest2.ML was never needed in the distribution | changeset | files |
Thu, 12 Nov 1998 10:26:08 +0100 | paulson | changed inverse syntax from x-| to i(x) | changeset | files |
Wed, 11 Nov 1998 15:49:15 +0100 | paulson | proved surjI | changeset | files |
Wed, 11 Nov 1998 15:45:32 +0100 | paulson | tidied | changeset | files |
Wed, 11 Nov 1998 15:44:24 +0100 | paulson | Big simplification of proofs. | changeset | files |
Tue, 10 Nov 1998 16:28:08 +0100 | mueller | tiny changes; | changeset | files |