--- 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
--- 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;