| 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 |
| Mon, 09 Nov 1998 15:40:05 +0100 | wenzelm | removed local_theory; | changeset | files |
| Mon, 09 Nov 1998 15:39:31 +0100 | wenzelm | exnMessage Interrupt; | changeset | files |
| Mon, 09 Nov 1998 15:38:58 +0100 | wenzelm | added lift_modifier, rule; | changeset | files |
| Mon, 09 Nov 1998 15:36:27 +0100 | wenzelm | added Isar; | changeset | files |
| Mon, 09 Nov 1998 15:35:38 +0100 | wenzelm | added Isar/; | changeset | files |
| Mon, 09 Nov 1998 15:35:00 +0100 | wenzelm | Pure outer syntax. | changeset | files |
| Mon, 09 Nov 1998 15:34:41 +0100 | wenzelm | Non-logical toplevel commands. | changeset | files |
| Mon, 09 Nov 1998 15:34:23 +0100 | wenzelm | Derived theory operations. | changeset | files |
| Mon, 09 Nov 1998 15:34:05 +0100 | wenzelm | The global Isabelle/Isar outer syntax. | changeset | files |
| Mon, 09 Nov 1998 15:33:48 +0100 | wenzelm | The Isabelle/Isar toplevel. | changeset | files |
| Mon, 09 Nov 1998 15:33:32 +0100 | wenzelm | Histories of proof states, with undo / redo and prev / back. | changeset | files |
| Mon, 09 Nov 1998 15:33:12 +0100 | wenzelm | Generic parsers for Isabelle/Isar outer syntax. | changeset | files |