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