src/HOL/Tools/ATP/atp_util.ML

--- a/src/HOL/Tools/ATP/atp_util.ML	Thu Aug 28 20:06:59 2014 +0200
+++ b/src/HOL/Tools/ATP/atp_util.ML	Thu Aug 28 23:48:46 2014 +0200
@@ -307,7 +307,7 @@
       Logic.all_const T $ Abs (s, T, abstract_over (Var ((s, i), T), t')))
     (Term.add_vars t []) t
 
-val hol_close_form_prefix = "ATP.close_form."
+val hol_close_form_prefix = "ATP."
 
 fun hol_close_form t =
   fold (fn ((s, i), T) => fn t' =>