diff -r f2074e12d1d4 -r f422f8283491 src/Provers/Arith/cancel_numerals.ML
--- a/src/Provers/Arith/cancel_numerals.ML	Mon May 16 09:35:05 2005 +0200
+++ b/src/Provers/Arith/cancel_numerals.ML	Mon May 16 10:29:15 2005 +0200
@@ -29,9 +29,9 @@
   val dest_sum: term -> term list
   val mk_bal: term * term -> term
   val dest_bal: term -> term * term
-  val mk_coeff: int * term -> term
-  val dest_coeff: term -> int * term
-  val find_first_coeff: term -> term list -> int * term list
+  val mk_coeff: IntInf.int * term -> term
+  val dest_coeff: term -> IntInf.int * term
+  val find_first_coeff: term -> term list -> IntInf.int * term list
   (*rules*)
   val bal_add1: thm
   val bal_add2: thm