changeset 71088 | 4b45d592ce29 |
parent 71086 | aedd11603fb4 |
child 71675 | 55cb4271858b |
--- a/src/Pure/ROOT.ML Fri Nov 08 16:25:18 2019 +0100 +++ b/src/Pure/ROOT.ML Fri Nov 08 19:06:50 2019 +0100 @@ -287,8 +287,8 @@ ML_file "Isar/toplevel.ML"; (*proof term operations*) +ML_file "Proof/proof_rewrite_rules.ML"; ML_file "Proof/proof_syntax.ML"; -ML_file "Proof/proof_rewrite_rules.ML"; ML_file "Proof/proof_checker.ML"; ML_file "Proof/extraction.ML";