--- a/src/Sequents/ROOT.ML Thu Mar 11 12:34:10 1999 +0100 +++ b/src/Sequents/ROOT.ML Thu Mar 11 13:20:35 1999 +0100 @@ -23,5 +23,3 @@ use_thy"S43"; print_depth 8; - -val Sequents_build_completed = (); (*indicate successful build*)