src/Pure/ROOT.ML
changeset 27546 726e8fa3e404
parent 27262 5a5d7f55ec19
child 27642 c0db1220b071
     1.1 --- a/src/Pure/ROOT.ML	Fri Jul 11 09:02:28 2008 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Jul 11 09:02:29 2008 +0200
     1.3 @@ -51,11 +51,11 @@
     1.4  use "envir.ML";
     1.5  use "consts.ML";
     1.6  use "primitive_defs.ML";
     1.7 +use "defs.ML";
     1.8 +use "net.ML";
     1.9  use "sign.ML";
    1.10  use "pattern.ML";
    1.11  use "unify.ML";
    1.12 -use "net.ML";
    1.13 -use "defs.ML";
    1.14  use "theory.ML";
    1.15  use "interpretation.ML";
    1.16  use "proofterm.ML";