src/Pure/ROOT.ML
changeset 39214 49fc6c842d6c
parent 38978 4bf80c23320e
child 39290 44e4d8dfd6bf
     1.1 --- a/src/Pure/ROOT.ML	Wed Sep 08 10:45:55 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Sep 08 13:22:24 2010 +0200
     1.3 @@ -226,7 +226,6 @@
     1.4  use "Isar/spec_rules.ML";
     1.5  use "Isar/specification.ML";
     1.6  use "Isar/typedecl.ML";
     1.7 -use "Isar/constdefs.ML";
     1.8  
     1.9  (*toplevel transactions*)
    1.10  use "Thy/thy_load.ML";