src/Pure/ROOT.ML
changeset 33374 8099185908a4
parent 32840 75dff0bd4d5d
child 33538 edf497b5b5d2
     1.1 --- a/src/Pure/ROOT.ML	Sun Nov 01 20:59:34 2009 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sun Nov 01 21:42:27 2009 +0100
     1.3 @@ -212,6 +212,7 @@
     1.4  
     1.5  (*specifications*)
     1.6  use "Isar/spec_parse.ML";
     1.7 +use "Isar/spec_rules.ML";
     1.8  use "Isar/specification.ML";
     1.9  use "Isar/constdefs.ML";
    1.10