src/Sequents/ex/ROOT.ML

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