src/HOL/ROOT.ML
changeset 5219 924359415f09
parent 5183 89f162de39cf
child 5298 81716d9b2b09
     1.1 --- a/src/HOL/ROOT.ML	Thu Jul 30 17:59:57 1998 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Thu Jul 30 19:02:52 1998 +0200
     1.3 @@ -21,6 +21,7 @@
     1.4  use "$ISABELLE_HOME/src/Provers/hypsubst.ML";
     1.5  use "$ISABELLE_HOME/src/Provers/classical.ML";
     1.6  use "$ISABELLE_HOME/src/Provers/blast.ML";
     1.7 +use "$ISABELLE_HOME/src/Provers/clasimp.ML";
     1.8  use "$ISABELLE_HOME/src/Provers/Arith/nat_transitive.ML";
     1.9  use "$ISABELLE_HOME/src/Provers/Arith/cancel_sums.ML";
    1.10  use "$ISABELLE_HOME/src/Provers/Arith/cancel_factor.ML";