changeset 6349 | f7750d816c21 |
parent 6252 | 935f183bf406 |
child 9000 | c20d58286a51 |
--- a/src/Sequents/Modal/ROOT.ML Thu Mar 11 12:34:10 1999 +0100 +++ b/src/Sequents/Modal/ROOT.ML Thu Mar 11 13:20:35 1999 +0100 @@ -4,8 +4,6 @@ Copyright 1991 University of Cambridge *) -Sequents_build_completed; (*Cause examples to fail if Sequents did*) - set proof_timing; writeln "\nTheorems of T\n";