src/Sequents/ROOT.ML
changeset 7098 86583034aacf
parent 6349 f7750d816c21
child 7120 6d5923cecece
--- a/src/Sequents/ROOT.ML	Tue Jul 27 19:01:46 1999 +0200
+++ b/src/Sequents/ROOT.ML	Tue Jul 27 19:02:43 1999 +0200
@@ -11,12 +11,17 @@
 
 print_depth 1;  
 
+use "~~/src/Provers/simplifier.ML";
+
 use_thy "Sequents";
 use "prover.ML";
 
 use_thy "LK";
+use "simpdata.ML";
+
 use_thy "ILL";
 
+use "modal.ML";
 use_thy "Modal0";
 use_thy"T";
 use_thy"S4";