src/Pure/ROOT.ML
changeset 55516 d0157612ebe5
parent 55387 51f0876f61df
child 55672 5e25cc741ab9
     1.1 --- a/src/Pure/ROOT.ML	Sun Feb 16 17:17:26 2014 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sun Feb 16 17:25:03 2014 +0100
     1.3 @@ -260,7 +260,6 @@
     1.4  use "Isar/spec_rules.ML";
     1.5  use "Isar/specification.ML";
     1.6  use "Isar/typedecl.ML";
     1.7 -use "ML/ml_thms.ML";
     1.8  
     1.9  (*toplevel transactions*)
    1.10  use "Isar/proof_node.ML";