src/Tools/misc_legacy.ML

--- 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;