changeset 18934 | 0342b7c21388 |
parent 18870 | 020e242c02a0 |
child 18991 | 0ded3b842878 |
--- a/src/Pure/ROOT.ML Mon Feb 06 20:59:00 2006 +0100 +++ b/src/Pure/ROOT.ML Mon Feb 06 20:59:01 2006 +0100 @@ -31,14 +31,14 @@ cd "Syntax"; use "ROOT.ML"; cd ".."; (*core of tactical proof system*) +use "envir.ML"; +use "logic.ML"; use "type_infer.ML"; use "consts.ML"; use "sign.ML"; -use "envir.ML"; use "pattern.ML"; use "unify.ML"; use "net.ML"; -use "logic.ML"; use "defs.ML"; use "theory.ML"; use "proofterm.ML";