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";