Added three items to the signature
authorpaulson
Thu May 17 13:37:24 2007 +0200 (2007-05-17)
changeset 229893bcbe6187027
parent 22988 f6b8184f5b4a
child 22990 775e9de3db48
Added three items to the signature
src/HOL/Tools/res_atp.ML
     1.1 --- a/src/HOL/Tools/res_atp.ML	Thu May 17 08:53:57 2007 +0200
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Thu May 17 13:37:24 2007 +0200
     1.3 @@ -45,6 +45,9 @@
     1.4    val rm_atpset : unit -> unit
     1.5    val rm_clasimp : unit -> unit
     1.6    val is_fol_thms : thm list -> bool
     1.7 +  val tvar_classes_of_terms : term list -> string list
     1.8 +  val tfree_classes_of_terms : term list -> string list
     1.9 +  val type_consts_of_terms : theory -> term list -> string list
    1.10  end;
    1.11  
    1.12  structure ResAtp: RES_ATP =