changeset 16781 | 663235466562 |
parent 16435 | 3b17850023f1 |
child 16842 | 5979c46853d1 |
--- a/src/Pure/ROOT.ML Tue Jul 12 19:18:55 2005 +0200 +++ b/src/Pure/ROOT.ML Tue Jul 12 19:29:52 2005 +0200 @@ -93,6 +93,9 @@ (*configuration for Proof General*) use "proof_general.ML"; +(* loading the Tools directory *) +cd "Tools"; use "ROOT.ML"; cd ".."; + (*the Pure theories*) use_thy "Pure"; structure Pure = struct val thy = theory "Pure" end; use_thy "CPure"; structure CPure = struct val thy = theory "CPure" end;