src/Pure/ROOT.ML
changeset 56072 31e427387ab5
parent 56053 030531cc4c62
child 56203 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";