isabelle: src/Sequents/ex/ILL/ROOT.ML@086b055c4d73 (annotated)

2073 fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	1
2832 dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	2	Sequents_build_completed; (Cause examples to fail if Sequents did)
2073 fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	3	writeln"Root file for ILL examples";
fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	4
4446 097004a470fb tuned; wenzelm parents: 2832 diff changeset	5	set proof_timing;
097004a470fb tuned; wenzelm parents: 2832 diff changeset	6
2832 dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	7	time_use_thy "ILL/washing";
2073 fb0655539d05 New unified treatment of sequent calculi by Sara Kalvala paulson parents: diff changeset	8
2832 dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	9	time_use_thy "ILL/ILL_predlog";
dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	10	time_use "ILL/ILL_kleene_lemmas.ML";