changeset 5211 | c02b0c727780 |
parent 5113 | c4da11bb0592 |
child 5244 | 5313f781efe0 |
--- a/src/Pure/ROOT.ML Tue Jul 28 17:05:34 1998 +0200 +++ b/src/Pure/ROOT.ML Wed Jul 29 15:38:08 1998 +0200 @@ -46,13 +46,14 @@ use "tactic.ML"; use "goals.ML"; use "axclass.ML"; -use "pure.ML"; (*theory parser and loader*) cd "Thy"; use "ROOT.ML"; cd ".."; +use "pure.ML"; + use "install_pp.ML"; (*if true then some packages won't be too serious about actually proving things*)