changeset 57414 | 31e427387ab5 |
parent 57395 | 030531cc4c62 |
child 57545 | 76c72f4d0667 |
1.1 --- a/src/Pure/ROOT.ML Wed Mar 12 22:44:55 2014 +0100 1.2 +++ b/src/Pure/ROOT.ML Wed Mar 12 22:57:50 2014 +0100 1.3 @@ -233,7 +233,7 @@ 1.4 (*basic proof engine*) 1.5 use "Isar/proof_display.ML"; 1.6 use "Isar/attrib.ML"; 1.7 -use "ML/ml_antiquote.ML"; 1.8 +use "ML/ml_antiquotation.ML"; 1.9 use "Isar/context_rules.ML"; 1.10 use "Isar/method.ML"; 1.11 use "Isar/proof.ML";