structure LocalDefs = LocalDefs;
structure Calculation = Calculation;
structure SkipProof = SkipProof;
--- a/src/Pure/Isar/ROOT.ML Fri Jul 16 14:06:13 1999 +0200
+++ b/src/Pure/Isar/ROOT.ML Fri Jul 16 22:22:02 1999 +0200
@@ -49,6 +49,9 @@
structure Args = Args;
structure Attrib = Attrib;
structure Method = Method;
+ structure LocalDefs = LocalDefs;
+ structure Calculation = Calculation;
+ structure SkipProof = SkipProof;
structure Comment = Comment;
structure OuterLex = OuterLex;
structure OuterParse = OuterParse;