Removed "Adding axioms ..." message.
authorberghofe
Wed Aug 25 17:33:21 1999 +0200 (1999-08-25)
changeset 7349228b711ad68c
parent 7348 3e91b07223ad
child 7350 708bd83745c5
Removed "Adding axioms ..." message.
src/HOL/Tools/inductive_package.ML
     1.1 --- a/src/HOL/Tools/inductive_package.ML	Wed Aug 25 17:11:42 1999 +0200
     1.2 +++ b/src/HOL/Tools/inductive_package.ML	Wed Aug 25 17:33:21 1999 +0200
     1.3 @@ -636,9 +636,6 @@
     1.4  fun add_ind_axm verbose declare_consts alt_name coind no_elim no_ind cs
     1.5      atts intros monos con_defs thy params paramTs cTs cnames =
     1.6    let
     1.7 -    val _ = if verbose then message ("Adding axioms for " ^ coind_prefix coind ^
     1.8 -      "inductive set(s) " ^ commas_quote cnames) else ();
     1.9 -
    1.10      val rec_name = if alt_name = "" then space_implode "_" cnames else alt_name;
    1.11  
    1.12      val ((intr_names, intr_ts), intr_atts) = apfst split_list (split_list intros);