tuned legacy signature;

--- a/src/Tools/misc_legacy.ML	Wed Oct 19 14:40:49 2011 +0200
+++ b/src/Tools/misc_legacy.ML	Wed Oct 19 15:41:12 2011 +0200
@@ -5,7 +5,6 @@
 
 signature MISC_LEGACY =
 sig
-  val it_term_types: (typ * 'a -> 'a) -> term * 'a -> 'a
   val add_term_names: term * string list -> string list
   val add_typ_tvars: typ * (indexname * sort) list -> (indexname * sort) list
   val add_typ_tfree_names: typ * string list -> string list