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*)