--- a/src/Pure/ROOT.ML Mon Jun 29 21:33:25 1998 +0200 +++ b/src/Pure/ROOT.ML Mon Jun 29 21:33:35 1998 +0200 @@ -46,6 +46,7 @@ use "tactic.ML"; use "goals.ML"; use "axclass.ML"; +use "pure.ML"; (*theory parser and loader*) cd "Thy";