author | wenzelm |
Thu, 14 Mar 2013 14:25:55 +0100 | |
changeset 51429 | 48eb29821bd9 |
parent 51428 | 12e46440e391 |
child 51430 | e96447ea13c9 |
child 51434 | e19a22974c72 |
--- a/src/Tools/misc_legacy.ML Thu Mar 14 14:14:58 2013 +0100 +++ b/src/Tools/misc_legacy.ML Thu Mar 14 14:25:55 2013 +0100 @@ -23,7 +23,6 @@ val mk_defpair: term * term -> string * term val get_def: theory -> xstring -> thm val METAHYPS: (thm list -> tactic) -> int -> tactic - val gensym: string -> string val freeze_thaw_robust: thm -> thm * (int -> thm -> thm) val freeze_thaw: thm -> thm * (thm -> thm) end;