src/Sequents/ROOT.ML
changeset 21426 87ac12bed1ab
parent 17481 75166ebb619b
child 24106 f2965bf954dc
--- 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";