changeset 14387 | e96d5c42c4b0 |
parent 13487 | 1291c6375c29 |
child 15531 | 08c8dad8e399 |
--- a/src/ZF/arith_data.ML Sat Feb 14 02:06:12 2004 +0100 +++ b/src/ZF/arith_data.ML Sun Feb 15 10:46:37 2004 +0100 @@ -138,7 +138,7 @@ structure CancelNumeralsCommon = struct - val mk_sum = mk_sum + val mk_sum = (fn T:typ => mk_sum) val dest_sum = dest_sum val mk_coeff = mk_coeff val dest_coeff = dest_coeff