# HG changeset patch
# User paulson
# Date 1129296896 -7200
# Node ID d7619ccf22e6f2ddca2a8ef530144e36ccd34c01
# Parent  de5d9d5e99f5e9c8ab9a12da4a095c16bf3a7866
signature changes

diff -r de5d9d5e99f5 -r d7619ccf22e6 src/HOL/Tools/meson.ML
--- a/src/HOL/Tools/meson.ML	Fri Oct 14 14:36:39 2005 +0200
+++ b/src/HOL/Tools/meson.ML	Fri Oct 14 15:34:56 2005 +0200
@@ -16,6 +16,7 @@
   val size_of_subgoals	: thm -> int
   val make_cnf		: thm list -> thm -> thm list
   val make_nnf		: thm -> thm
+  val make_nnf1		: thm -> thm
   val skolemize		: thm -> thm
   val make_clauses	: thm list -> thm list
   val make_horns	: thm list -> thm list
diff -r de5d9d5e99f5 -r d7619ccf22e6 src/HOL/Tools/res_atp.ML
--- a/src/HOL/Tools/res_atp.ML	Fri Oct 14 14:36:39 2005 +0200
+++ b/src/HOL/Tools/res_atp.ML	Fri Oct 14 15:34:56 2005 +0200
@@ -10,7 +10,7 @@
   val prover: string ref
   val custom_spass: string list ref
   val destdir: string ref
-  val hook_count: int ref
+  val helper_path: string -> string -> string
   val problem_name: string ref
   val time_limit: int ref
 end;