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 |