--- a/src/CTT/ROOT.ML Wed Nov 27 10:34:28 1996 +0100
+++ b/src/CTT/ROOT.ML Wed Nov 27 10:36:38 1996 +0100
@@ -20,7 +20,7 @@
use_thy "Arith";
use_thy "Bool";
-use "../Pure/install_pp.ML";
+init_pps ();
print_depth 8;
val CTT_build_completed = (); (*indicate successful build*)