diff -r 70d559802ae3 -r a1863ea9052b src/HOL/Tools/ATP/watcher.sig
--- a/src/HOL/Tools/ATP/watcher.sig	Wed Apr 20 17:19:42 2005 +0200
+++ b/src/HOL/Tools/ATP/watcher.sig	Wed Apr 20 18:01:50 2005 +0200
@@ -21,7 +21,7 @@
 (*  callResProvers (outstreamtoWatcher, prover name,prover-command, (settings,file) list             *)
 (*****************************************************************************************)
 
-val callResProvers : TextIO.outstream *(string* string*string *string*string*string) list -> unit
+val callResProvers : TextIO.outstream *(string* string*string *string*string*string*string*string*string) list -> unit
 
 
 
@@ -37,7 +37,7 @@
 (* Start a watcher and set up signal handlers             *)
 (**********************************************************)
 
-val createWatcher : unit -> TextIO.instream * TextIO.outstream * Posix.Process.pid
+val createWatcher : Thm.thm -> TextIO.instream * TextIO.outstream * Posix.Process.pid