changeset 15027 | d23887300b96 |
parent 13516 | 13a6103b9ac4 |
child 15531 | 08c8dad8e399 |
--- a/src/Provers/Arith/cancel_div_mod.ML Thu Jul 08 19:34:18 2004 +0200 +++ b/src/Provers/Arith/cancel_div_mod.ML Thu Jul 08 19:34:56 2004 +0200 @@ -28,7 +28,7 @@ signature CANCEL_DIV_MOD = sig - val proc: Sign.sg -> thm list -> term -> thm option + val proc: Sign.sg -> simpset -> term -> thm option end;