isabelle: src/Sequents/ex/ROOT.ML@65778b9d865f (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	writeln"Root file for Sequents examples";
dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	3	Sequents_build_completed;
dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	4
dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	5	use "LK/ROOT.ML";
dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	6	use "ILL/ROOT.ML";
dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	7	use "Modal/ROOT.ML";
dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	8
dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	9	OS.FileSys.chDir "..";
dd5022d8a551 exit_use_dir; wenzelm parents: 2073 diff changeset	10	maketest"END: Root file for Sequents examples";