changeset 18595 | a52907967bae |
parent 18529 | 540da2415751 |
child 19835 | 81d6dc597559 |
--- a/src/FOL/ROOT.ML Fri Jan 06 18:18:12 2006 +0100 +++ b/src/FOL/ROOT.ML Fri Jan 06 18:18:13 2006 +0100 @@ -11,6 +11,7 @@ use "~~/src/Provers/splitter.ML"; use "~~/src/Provers/ind.ML"; use "~~/src/Provers/hypsubst.ML"; +use "~~/src/Provers/eqsubst.ML"; use "~~/src/Provers/induct_method.ML"; use "~~/src/Provers/classical.ML"; use "~~/src/Provers/blast.ML";