changeset 2073 | fb0655539d05 |
child 2832 | dd5022d8a551 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Sequents/ex/ILL/ROOT.ML Wed Oct 09 13:32:33 1996 +0200 @@ -0,0 +1,12 @@ + +Sequents_build_completed; (*Cause examples to fail if LK did*) + +writeln"Root file for ILL examples"; + +proof_timing := true; +time_use_thy "ex/ILL/washing"; + +time_use_thy "ex/ILL/ILL_predlog"; +time_use "ex/ILL/ILL_kleene_lemmas.ML"; + +maketest"END: Root file for ILL examples";