src/Pure/ROOT.ML
changeset 51551 88d1d19fb74f
parent 51265 6a3191767ecb
child 51606 2843cc095a57
     1.1 --- a/src/Pure/ROOT.ML	Wed Mar 27 14:08:03 2013 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Wed Mar 27 14:19:18 2013 +0100
     1.3 @@ -180,6 +180,7 @@
     1.4  use "ML/ml_compiler.ML";
     1.5  if ML_System.is_polyml then use "ML/ml_compiler_polyml.ML" else ();
     1.6  
     1.7 +use "skip_proof.ML";
     1.8  use "goal.ML";
     1.9  
    1.10  (*proof context*)
    1.11 @@ -217,7 +218,6 @@
    1.12  use "Isar/attrib.ML";
    1.13  use "ML/ml_antiquote.ML";
    1.14  use "Isar/context_rules.ML";
    1.15 -use "Isar/skip_proof.ML";
    1.16  use "Isar/method.ML";
    1.17  use "Isar/proof.ML";
    1.18  use "Isar/element.ML";