1.1 --- a/src/HOL/Tools/meson.ML	Tue Aug 08 18:40:04 2006 +0200
     1.2 +++ b/src/HOL/Tools/meson.ML	Tue Aug 08 18:40:20 2006 +0200
     1.3 @@ -178,7 +178,7 @@
     1.4  (*Replaces universally quantified variables by FREE variables -- because
     1.5    assumptions may not contain scheme variables.  Later, call "generalize". *)
     1.6  fun freeze_spec th =
     1.7 -  let val newname = gensym "A_"
     1.8 +  let val newname = gensym "mes_"
     1.9        val spec' = read_instantiate [("x", newname)] spec
    1.10    in  th RS spec'  end;
    1.11