| Fri, 13 Nov 1998 13:27:03 +0100 | paulson | no longer loads Fun so that the Fun proofs can use equalities.thy | changeset | files |
| Fri, 13 Nov 1998 13:26:16 +0100 | paulson | the function space operator | changeset | files |
| Thu, 12 Nov 1998 16:45:40 +0100 | nipkow | New section on advanced datatypes. | changeset | files |
| 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 |