src/Pure/ROOT.ML
changeset 56229 f61eaab6bec3
parent 56210 c7c85cdb725d
child 56281 03c3d1a7c3b8
     1.1 --- a/src/Pure/ROOT.ML	Thu Mar 20 15:38:49 2014 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Thu Mar 20 19:24:51 2014 +0100
     1.3 @@ -226,7 +226,6 @@
     1.4  (*ML with context and antiquotations*)
     1.5  use "ML/ml_context.ML";
     1.6  use "ML/ml_antiquotation.ML";
     1.7 -val use = ML_Context.eval_file true o Path.explode;
     1.8  (*^^^^^ end of ML bootstrap 1 ^^^^^*)
     1.9  
    1.10  (*basic proof engine*)