changeset 11771 | b7b100a2de1d |
parent 11674 | c67d5ed31417 |
child 16019 | 0e1405402d53 |
--- a/src/FOL/ROOT.ML Sun Oct 14 22:08:29 2001 +0200 +++ b/src/FOL/ROOT.ML Sun Oct 14 22:15:07 2001 +0200 @@ -14,7 +14,6 @@ use "~~/src/Provers/splitter.ML"; use "~~/src/Provers/ind.ML"; use "~~/src/Provers/hypsubst.ML"; -use "~~/src/Provers/rulify.ML"; use "~~/src/Provers/induct_method.ML"; use "~~/src/Provers/make_elim.ML"; use "~~/src/Provers/classical.ML";