changeset 37153 | 01aa36932739 |
parent 36971 | 7b14afc02fc4 |
child 37154 | f652333bbf8e |
1.1 --- a/src/Pure/ROOT.ML Thu May 27 15:28:23 2010 +0200 1.2 +++ b/src/Pure/ROOT.ML Thu May 27 17:41:27 2010 +0200 1.3 @@ -309,6 +309,7 @@ 1.4 structure OuterParse = Parse; 1.5 structure OuterSyntax = Outer_Syntax; 1.6 structure SpecParse = Parse_Spec; 1.7 +structure TypeInfer = Type_Infer; 1.8 1.9 end; 1.10