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";