Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Pure/ROOT.ML
changeset 37153 01aa36932739
parent 36971 7b14afc02fc4
child 37154 f652333bbf8e
equal deleted inserted replaced
37144:fd6308b4df72 37153:01aa36932739 
   307 end;
 
   307 end;
 
   308 
   308 
   309 structure OuterParse = Parse;
 
   309 structure OuterParse = Parse;
 
   310 structure OuterSyntax = Outer_Syntax;
 
   310 structure OuterSyntax = Outer_Syntax;
 
   311 structure SpecParse = Parse_Spec;
 
   311 structure SpecParse = Parse_Spec;
 
       
   312 structure TypeInfer = Type_Infer;
 
   312 
   313 
   313 end;
 
   314 end;
 
   314 
   315
wneuper/isa