| 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 |