src/Pure/Isar/outer_syntax.ML
Sun, 29 Nov 1998 13:19:48 +0100 wenzelm tuned welcome msg;
Tue, 24 Nov 1998 12:00:05 +0100 wenzelm added commands;
Wed, 18 Nov 1998 10:59:20 +0100 wenzelm load;
Mon, 16 Nov 1998 11:06:31 +0100 wenzelm tuned names;
Mon, 09 Nov 1998 15:34:05 +0100 wenzelm The global Isabelle/Isar outer syntax.
less more (0) tip