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