src/HOL/Tools/datatype_package.ML

--- a/src/HOL/Tools/datatype_package.ML	Fri Jun 04 16:17:20 1999 +0200
+++ b/src/HOL/Tools/datatype_package.ML	Fri Jun 04 16:17:51 1999 +0200
@@ -275,8 +275,6 @@
     val used = foldr add_typ_tfree_names (recTs, []);
     val newTs = take (length (hd descr), recTs);
 
-    val _ = message ("Adding axioms for datatype(s) " ^ commas_quote new_type_names);
-
     (**** declare new types and constants ****)
 
     val tyvars = map (fn (_, (_, Ts, _)) => map dest_DtTFree Ts) (hd descr);