1.1 --- a/src/HOL/Tools/meson.ML	Fri Oct 14 14:36:39 2005 +0200
     1.2 +++ b/src/HOL/Tools/meson.ML	Fri Oct 14 15:34:56 2005 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4    val size_of_subgoals	: thm -> int
     1.5    val make_cnf		: thm list -> thm -> thm list
     1.6    val make_nnf		: thm -> thm
     1.7 +  val make_nnf1		: thm -> thm
     1.8    val skolemize		: thm -> thm
     1.9    val make_clauses	: thm list -> thm list
    1.10    val make_horns	: thm list -> thm list

     2.1 --- a/src/HOL/Tools/res_atp.ML	Fri Oct 14 14:36:39 2005 +0200
     2.2 +++ b/src/HOL/Tools/res_atp.ML	Fri Oct 14 15:34:56 2005 +0200
     2.3 @@ -10,7 +10,7 @@
     2.4    val prover: string ref
     2.5    val custom_spass: string list ref
     2.6    val destdir: string ref
     2.7 -  val hook_count: int ref
     2.8 +  val helper_path: string -> string -> string
     2.9    val problem_name: string ref
    2.10    val time_limit: int ref
    2.11  end;