--- a/src/HOL/Tools/ATP/atp_reconstruct.ML Sun Nov 06 22:18:54 2011 +0100
+++ b/src/HOL/Tools/ATP/atp_reconstruct.ML Sun Nov 06 22:18:54 2011 +0100
@@ -37,6 +37,7 @@
Proof.context -> int list list -> int -> (string * locality) list vector
-> 'a proof -> string list option
val uses_typed_helpers : int list -> 'a proof -> bool
+ val name_of_reconstructor : reconstructor -> string
val one_line_proof_text : one_line_params -> string
val make_tvar : string -> typ
val make_tfree : Proof.context -> string -> typ