# HG changeset patch
# User paulson
# Date 1179401844 -7200
# Node ID 3bcbe6187027ac96b8350bfed1d90e5c35829222
# Parent  f6b8184f5b4afc0f65d3eaa5eee224e03223cfff
Added three items to the signature

diff -r f6b8184f5b4a -r 3bcbe6187027 src/HOL/Tools/res_atp.ML
--- a/src/HOL/Tools/res_atp.ML	Thu May 17 08:53:57 2007 +0200
+++ b/src/HOL/Tools/res_atp.ML	Thu May 17 13:37:24 2007 +0200
@@ -45,6 +45,9 @@
   val rm_atpset : unit -> unit
   val rm_clasimp : unit -> unit
   val is_fol_thms : thm list -> bool
+  val tvar_classes_of_terms : term list -> string list
+  val tfree_classes_of_terms : term list -> string list
+  val type_consts_of_terms : theory -> term list -> string list
 end;
 
 structure ResAtp: RES_ATP =