--- a/src/Sequents/ROOT.ML Mon Nov 20 21:23:12 2006 +0100
+++ b/src/Sequents/ROOT.ML Mon Nov 20 23:47:10 2006 +0100
@@ -13,7 +13,11 @@
Unify.search_bound := 40;
use_thy "LK";
+
use_thy "ILL";
+use_thy "ILL_predlog";
+use_thy "Washing";
+
use_thy "Modal0";
use_thy"T";
use_thy"S4";