load axclass.ML before Isar;
authorwenzelm
Thu Oct 11 16:05:33 2007 +0200 (2007-10-11)
changeset 24963c04ec061ac2b
parent 24962 60d33fb8ea5d
child 24964 526df61afe97
load axclass.ML before Isar;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Thu Oct 11 16:05:32 2007 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Oct 11 16:05:33 2007 +0200
     1.3 @@ -74,6 +74,7 @@
     1.4  use "conjunction.ML";
     1.5  use "assumption.ML";
     1.6  use "goal.ML";
     1.7 +use "axclass.ML";
     1.8  
     1.9  (*proof term operations*)
    1.10  use "Proof/reconstruct.ML";