diff -r 8c8c824dccdc -r 1aaf9ebe248d src/HOL/Tools/meson.ML
--- a/src/HOL/Tools/meson.ML	Tue Aug 08 18:40:04 2006 +0200
+++ b/src/HOL/Tools/meson.ML	Tue Aug 08 18:40:20 2006 +0200
@@ -178,7 +178,7 @@
 (*Replaces universally quantified variables by FREE variables -- because
   assumptions may not contain scheme variables.  Later, call "generalize". *)
 fun freeze_spec th =
-  let val newname = gensym "A_"
+  let val newname = gensym "mes_"
       val spec' = read_instantiate [("x", newname)] spec
   in  th RS spec'  end;