src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Thu Oct 11 16:05:32 2007 +0200
+++ b/src/Pure/ROOT.ML	Thu Oct 11 16:05:33 2007 +0200
@@ -74,6 +74,7 @@
 use "conjunction.ML";
 use "assumption.ML";
 use "goal.ML";
+use "axclass.ML";
 
 (*proof term operations*)
 use "Proof/reconstruct.ML";