src/Sequents/ROOT.ML
changeset 3511 da4dd8b7ced4
parent 2247 d388a38f7198
child 3948 3428c0a88449
--- a/src/Sequents/ROOT.ML	Wed Jul 09 16:54:17 1997 +0200
+++ b/src/Sequents/ROOT.ML	Wed Jul 09 17:00:34 1997 +0200
@@ -9,8 +9,6 @@
 val banner = "Sequent Calculii";
 writeln banner;
 
-init_thy_reader();
-
 print_depth 1;  
 
 use_thy "Sequents";
@@ -24,7 +22,6 @@
 use_thy"S4";
 use_thy"S43";
 
-init_pps ();
 print_depth 8;
 
 val Sequents_build_completed = ();    (*indicate successful build*)