--- a/src/Pure/Isar/ROOT.ML Sat Mar 11 16:53:10 2006 +0100
+++ b/src/Pure/Isar/ROOT.ML Sat Mar 11 16:53:14 2006 +0100
@@ -30,6 +30,7 @@
use "local_theory.ML";
use "specification.ML";
use "constdefs.ML";
+use "../axclass.ML";
(*outer syntax*)
use "antiquote.ML";