src/Pure/Isar/ROOT.ML
changeset 7021 0073aa571502
parent 6954 dbeafc269f4f
child 7680 27bbbe36d49a
--- 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;