--- a/src/Pure/Isar/ROOT.ML	Wed Apr 13 18:46:04 2005 +0200
+++ b/src/Pure/Isar/ROOT.ML	Wed Apr 13 18:46:12 2005 +0200
@@ -82,3 +82,4 @@
   structure IsarSyn = IsarSyn;
   structure Isar = Isar;
 end;
+
changeset 15709	f04c3d668c65
parent 15703	727ef1b8b3ee
child 15735	953f188e16c6