src/Sequents/ex/ROOT.ML

tuned;

writeln"Root file for Sequents examples";
Sequents_build_completed;

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