--- a/src/Pure/ROOT.ML Mon May 31 19:36:13 2010 +0200
+++ b/src/Pure/ROOT.ML Mon May 31 21:06:57 2010 +0200
@@ -299,18 +299,15 @@
struct
structure OuterKeyword = Keyword;
-
-structure OuterLex =
-struct
- open Token;
- type token = T;
-end;
-
+structure OuterLex = struct open Token type token = T end;
structure OuterParse = Parse;
structure OuterSyntax = Outer_Syntax;
+structure PrintMode = Print_Mode;
structure SpecParse = Parse_Spec;
+structure ThyInfo = Thy_Info;
+structure ThyLoad = Thy_Load;
+structure ThyOutput = Thy_Output;
structure TypeInfer = Type_Infer;
-structure PrintMode = Print_Mode;
end;