equal
deleted
inserted
replaced
297 |
297 |
298 structure Legacy = |
298 structure Legacy = |
299 struct |
299 struct |
300 |
300 |
301 structure OuterKeyword = Keyword; |
301 structure OuterKeyword = Keyword; |
302 |
302 structure OuterLex = struct open Token type token = T end; |
303 structure OuterLex = |
|
304 struct |
|
305 open Token; |
|
306 type token = T; |
|
307 end; |
|
308 |
|
309 structure OuterParse = Parse; |
303 structure OuterParse = Parse; |
310 structure OuterSyntax = Outer_Syntax; |
304 structure OuterSyntax = Outer_Syntax; |
|
305 structure PrintMode = Print_Mode; |
311 structure SpecParse = Parse_Spec; |
306 structure SpecParse = Parse_Spec; |
|
307 structure ThyInfo = Thy_Info; |
|
308 structure ThyLoad = Thy_Load; |
|
309 structure ThyOutput = Thy_Output; |
312 structure TypeInfer = Type_Infer; |
310 structure TypeInfer = Type_Infer; |
313 structure PrintMode = Print_Mode; |
|
314 |
311 |
315 end; |
312 end; |
316 |
313 |