# HG changeset patch
# User wenzelm
# Date 1363267555 -3600
# Node ID 48eb29821bd9c988aa22fb354be310e2b82684b3
# Parent  12e46440e3919f785de01416e2684d20179ce27e
tuned signature;

diff -r 12e46440e391 -r 48eb29821bd9 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;