src/FOLP/ROOT.ML

--- a/src/FOLP/ROOT.ML	Wed Jul 09 16:54:17 1997 +0200
+++ b/src/FOLP/ROOT.ML	Wed Jul 09 17:00:34 1997 +0200
@@ -12,9 +12,8 @@
 
 writeln banner;
 
-init_thy_reader();
+print_depth 1;
 
-print_depth 1;  
 use_thy "IFOLP";
 use_thy "FOLP";
 
@@ -75,7 +74,7 @@
 
 use "simpdata.ML";
 
-init_pps ();
+
 print_depth 8;
 
 val FOLP_build_completed = ();  (*indicate successful build*)