# HG changeset patch
# User wenzelm
# Date 921673809 -3600
# Node ID 416c4679f93792cdb3d2bffb5c5f4381e3d2a416
# Parent  643e50fc46bae2f60e1dd3ee6e364ea187f6d936
axclass.ML loaded after Isar;

diff -r 643e50fc46ba -r 416c4679f937 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*)