src/Pure/ROOT.ML
changeset 4278 c64867c093fb
parent 4270 957c887b89b5
child 4362 e10acc395f0d
equal deleted inserted replaced
4277:8336e8d7a680 4278:c64867c093fb
    11 val version = "Isabelle-94 revision 8: May 1997";
    11 val version = "Isabelle-94 revision 8: May 1997";
    12 
    12 
    13 print_depth 1;
    13 print_depth 1;
    14 
    14 
    15 use "library.ML";
    15 use "library.ML";
       
    16 use "seq.ML";
    16 use "symtab.ML";
    17 use "symtab.ML";
    17 use "name_space.ML";
    18 use "name_space.ML";
    18 use "term.ML";
    19 use "term.ML";
    19 
    20 
    20 (*Syntax module*)
    21 (*Syntax module*)
    25 (*Core system*)
    26 (*Core system*)
    26 use "sorts.ML";
    27 use "sorts.ML";
    27 use "type_infer.ML";
    28 use "type_infer.ML";
    28 use "type.ML";
    29 use "type.ML";
    29 use "sign.ML";
    30 use "sign.ML";
    30 use "seq.ML";
       
    31 use "envir.ML";
    31 use "envir.ML";
    32 use "pattern.ML";
    32 use "pattern.ML";
    33 use "unify.ML";
    33 use "unify.ML";
    34 use "net.ML";
    34 use "net.ML";
    35 use "logic.ML";
    35 use "logic.ML";