src/Pure/ROOT.ML
changeset 6365 416c4679f937
parent 6237 699b4daf1451
child 6693 fec75b36a809
     1.1 --- a/src/Pure/ROOT.ML	Fri Mar 12 22:02:51 1999 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Wed Mar 17 13:30:09 1999 +0100
     1.3 @@ -50,7 +50,6 @@
     1.4  use "search.ML";
     1.5  use "tactic.ML";
     1.6  use "goals.ML";
     1.7 -use "axclass.ML";
     1.8  
     1.9  (*theory system operations*)
    1.10  cd "Thy"; use "ROOT.ML"; cd "..";
    1.11 @@ -59,6 +58,7 @@
    1.12  cd "Isar"; use "ROOT.ML"; cd "..";
    1.13  
    1.14  (*final Pure theory setup*)
    1.15 +use "axclass.ML";
    1.16  use "pure.ML";
    1.17  
    1.18  (*several object-logics declare theories that hide basis library structures*)