1998-11-09 wenzelm [Mon, 09 Nov 1998 15:40:26 +0100] rev 5838
added metacuts_tac;
src/Pure/tactic.ML

1998-11-09 wenzelm [Mon, 09 Nov 1998 15:40:05 +0100] rev 5837
removed local_theory;
src/Pure/theory.ML

1998-11-09 wenzelm [Mon, 09 Nov 1998 15:39:31 +0100] rev 5836
exnMessage Interrupt;
src/Pure/basis.ML

1998-11-09 wenzelm [Mon, 09 Nov 1998 15:38:58 +0100] rev 5835
added lift_modifier, rule;
src/Pure/attribute.ML

1998-11-09 wenzelm [Mon, 09 Nov 1998 15:36:27 +0100] rev 5834
added Isar;
src/Pure/IsaMakefile src/Pure/ROOT.ML

1998-11-09 wenzelm [Mon, 09 Nov 1998 15:35:38 +0100] rev 5833
added Isar/;
src/Pure/README

1998-11-09 wenzelm [Mon, 09 Nov 1998 15:35:00 +0100] rev 5832
Pure outer syntax.
src/Pure/Isar/isar_syn.ML

1998-11-09 wenzelm [Mon, 09 Nov 1998 15:34:41 +0100] rev 5831
Non-logical toplevel commands.
src/Pure/Isar/isar_cmd.ML

1998-11-09 wenzelm [Mon, 09 Nov 1998 15:34:23 +0100] rev 5830
Derived theory operations.
src/Pure/Isar/isar_thy.ML

1998-11-09 wenzelm [Mon, 09 Nov 1998 15:34:05 +0100] rev 5829
The global Isabelle/Isar outer syntax.
src/Pure/Isar/outer_syntax.ML