| 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 |
| 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 |
| Tue, 10 Nov 1998 16:27:04 +0100 | mueller | changed to a link; | changeset | files |
| Mon, 09 Nov 1998 15:50:56 +0100 | wenzelm | local simpset theory data; | changeset | files |
| Mon, 09 Nov 1998 15:49:38 +0100 | wenzelm | local claset theory data; | changeset | files |
| Mon, 09 Nov 1998 15:42:08 +0100 | wenzelm | Object logic specific operations. | changeset | files |
| Mon, 09 Nov 1998 15:41:24 +0100 | wenzelm | Isar setups; | changeset | files |
| Mon, 09 Nov 1998 15:40:26 +0100 | wenzelm | added metacuts_tac; | changeset | files |