changeset 27254 | 0f8106808e66 |
parent 26629 | 6e93fbd4c96a |
child 27262 | 5a5d7f55ec19 |
--- a/src/Pure/ROOT.ML Wed Jun 18 18:55:01 2008 +0200 +++ b/src/Pure/ROOT.ML Wed Jun 18 18:55:02 2008 +0200 @@ -77,12 +77,6 @@ use "goal.ML"; use "axclass.ML"; -(*proof term operations*) -use "Proof/reconstruct.ML"; -use "Proof/proof_syntax.ML"; -use "Proof/proof_rewrite_rules.ML"; -use "Proof/proofchecker.ML"; - (*the main Isar system*) cd "Isar"; use "ROOT.ML"; cd ".."; use "subgoal.ML";