src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Mar 12 22:02:51 1999 +0100
+++ b/src/Pure/ROOT.ML	Wed Mar 17 13:30:09 1999 +0100
@@ -50,7 +50,6 @@
 use "search.ML";
 use "tactic.ML";
 use "goals.ML";
-use "axclass.ML";
 
 (*theory system operations*)
 cd "Thy"; use "ROOT.ML"; cd "..";
@@ -59,6 +58,7 @@
 cd "Isar"; use "ROOT.ML"; cd "..";
 
 (*final Pure theory setup*)
+use "axclass.ML";
 use "pure.ML";
 
 (*several object-logics declare theories that hide basis library structures*)