1
2 writeln"Root file for Sequents examples";
3 Sequents_build_completed;
4
5 use "LK/ROOT.ML";
6 use "ILL/ROOT.ML";
7 use "Modal/ROOT.ML";