--- a/src/Sequents/ROOT.ML Wed Nov 27 12:56:11 1996 +0100
+++ b/src/Sequents/ROOT.ML Wed Nov 27 12:59:12 1996 +0100
@@ -24,7 +24,7 @@
use_thy"S4";
use_thy"S43";
-use "../Pure/install_pp.ML";
+init_pps ();
print_depth 8;
val Sequents_build_completed = (); (*indicate successful build*)