author | wenzelm |
Wed, 17 Mar 1999 13:30:09 +0100 | |
changeset 6365 | 416c4679f937 |
parent 6364 | 643e50fc46ba |
child 6366 | 0be3281aa578 |
src/Pure/ROOT.ML | file | annotate | diff | comparison | revisions |
--- 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*)