src/Pure/Isar/ROOT.ML
changeset 6549 90fa592f6e6e
parent 6346 643a1bd31a91
child 6644 123b215882ae
equal deleted inserted replaced
6548:9b108dd75c25 6549:90fa592f6e6e
    13 use "args.ML";
    13 use "args.ML";
    14 use "attrib.ML";
    14 use "attrib.ML";
    15 use "method.ML";
    15 use "method.ML";
    16 
    16 
    17 (*outer syntax*)
    17 (*outer syntax*)
       
    18 use "comment.ML";
    18 use "outer_lex.ML";
    19 use "outer_lex.ML";
    19 use "outer_parse.ML";
    20 use "outer_parse.ML";
    20 
    21 
    21 (*toplevel environment*)
    22 (*toplevel environment*)
    22 use "toplevel.ML";
    23 use "toplevel.ML";