--- a/src/Pure/ROOT.ML Sat Mar 11 16:53:10 2006 +0100
+++ b/src/Pure/ROOT.ML Sat Mar 11 16:53:14 2006 +0100
@@ -78,7 +78,6 @@
(*the Isar system*)
cd "Isar"; use "ROOT.ML"; cd "..";
-use "axclass.ML";
use "Proof/extraction.ML";
(*the IsaPlanner subsystem*)