src/Sequents/ILL/ROOT.ML
changeset 6349 f7750d816c21
parent 6252 935f183bf406
child 9000 c20d58286a51
     1.1 --- a/src/Sequents/ILL/ROOT.ML	Thu Mar 11 12:34:10 1999 +0100
     1.2 +++ b/src/Sequents/ILL/ROOT.ML	Thu Mar 11 13:20:35 1999 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  
     1.5 -Sequents_build_completed;    (*Cause examples to fail if Sequents did*)
     1.6  writeln"Root file for ILL examples";
     1.7  
     1.8  set proof_timing;