author | haftmann |
Fri, 11 Jul 2008 09:02:29 +0200 | |
changeset 27546 | 726e8fa3e404 |
parent 27545 | 7165068bb61f |
child 27547 | 13199740ced6 |
src/Pure/ROOT.ML | file | annotate | diff | comparison | revisions |
--- a/src/Pure/ROOT.ML Fri Jul 11 09:02:28 2008 +0200 +++ b/src/Pure/ROOT.ML Fri Jul 11 09:02:29 2008 +0200 @@ -51,11 +51,11 @@ use "envir.ML"; use "consts.ML"; use "primitive_defs.ML"; +use "defs.ML"; +use "net.ML"; use "sign.ML"; use "pattern.ML"; use "unify.ML"; -use "net.ML"; -use "defs.ML"; use "theory.ML"; use "interpretation.ML"; use "proofterm.ML";