src/HOL/Tools/ATP/atp_util.ML

--- a/src/HOL/Tools/ATP/atp_util.ML	Tue Sep 10 15:56:52 2013 +0200
+++ b/src/HOL/Tools/ATP/atp_util.ML	Tue Sep 10 16:02:02 2013 +0200
@@ -7,6 +7,8 @@
 signature ATP_UTIL =
 sig
   val timestamp : unit -> string
+  val hashw : word * word -> word
+  val hashw_string : string * word -> word
   val hash_string : string -> int
   val chunk_list : int -> 'a list -> 'a list list
   val stringN_of_int : int -> int -> string