src/Provers/Arith/combine_numerals.ML

--- a/src/Provers/Arith/combine_numerals.ML	Thu Jul 08 19:34:18 2004 +0200
+++ b/src/Provers/Arith/combine_numerals.ML	Thu Jul 08 19:34:56 2004 +0200
@@ -37,7 +37,7 @@
 
 functor CombineNumeralsFun(Data: COMBINE_NUMERALS_DATA):
   sig
-  val proc: Sign.sg -> thm list -> term -> thm option
+  val proc: Sign.sg -> simpset -> term -> thm option
   end 
 =
 struct