src/Sequents/ROOT.ML
changeset 7098 86583034aacf
parent 6349 f7750d816c21
child 7120 6d5923cecece
     1.1 --- a/src/Sequents/ROOT.ML	Tue Jul 27 19:01:46 1999 +0200
     1.2 +++ b/src/Sequents/ROOT.ML	Tue Jul 27 19:02:43 1999 +0200
     1.3 @@ -11,12 +11,17 @@
     1.4  
     1.5  print_depth 1;  
     1.6  
     1.7 +use "~~/src/Provers/simplifier.ML";
     1.8 +
     1.9  use_thy "Sequents";
    1.10  use "prover.ML";
    1.11  
    1.12  use_thy "LK";
    1.13 +use "simpdata.ML";
    1.14 +
    1.15  use_thy "ILL";
    1.16  
    1.17 +use "modal.ML";
    1.18  use_thy "Modal0";
    1.19  use_thy"T";
    1.20  use_thy"S4";