src/Sequents/ex/ROOT.ML

NJ 1.09.2x as factory default!

writeln"Root file for Sequents examples";
Sequents_build_completed;

use "LK/ROOT.ML";
use "ILL/ROOT.ML";
use "Modal/ROOT.ML";

OS.FileSys.chDir "..";
maketest"END: Root file for Sequents examples";