changeset 20044 | 92cc2f4c7335 |
parent 18702 | 7dc7dcd63224 |
child 20217 | 25b068a99d2b |
--- a/src/HOL/Divides.thy Sat Jul 08 12:54:29 2006 +0200 +++ b/src/HOL/Divides.thy Sat Jul 08 12:54:30 2006 +0200 @@ -208,7 +208,7 @@ structure CancelDivMod = CancelDivModFun(CancelDivModData); val cancel_div_mod_proc = NatArithUtils.prep_simproc - ("cancel_div_mod", ["(m::nat) + n"], CancelDivMod.proc); + ("cancel_div_mod", ["(m::nat) + n"], K CancelDivMod.proc); Addsimprocs[cancel_div_mod_proc]; *}