# HG changeset patch
# User wenzelm
# Date 1142092394 -3600
# Node ID 3c72963588c1554895cffe94774ba55a1cd8fb1c
# Parent  613f374ea27df09e2c1a013ebd5b2d25fb8014a2
use axclass.ML earlier (in Isar/ROOT.ML);

diff -r 613f374ea27d -r 3c72963588c1 src/Pure/Isar/ROOT.ML
--- 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";
diff -r 613f374ea27d -r 3c72963588c1 src/Pure/ROOT.ML
--- 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*)