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;