diff -r 65947eb930fa -r 351a308ab58d src/Provers/Arith/cancel_numerals.ML
--- a/src/Provers/Arith/cancel_numerals.ML	Tue Sep 18 11:06:22 2007 +0200
+++ b/src/Provers/Arith/cancel_numerals.ML	Tue Sep 18 16:08:00 2007 +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: IntInf.int * term -> term
-  val dest_coeff: term -> IntInf.int * term
-  val find_first_coeff: term -> term list -> IntInf.int * term list
+  val mk_coeff: int * term -> term
+  val dest_coeff: term -> int * term
+  val find_first_coeff: term -> term list -> int * term list
   (*rules*)
   val bal_add1: thm
   val bal_add2: thm