NEWS
changeset 44086 c0847967a25a
parent 44081 730f7cced3a6
parent 44082 81e55342cb86
child 44103 cedaca00789f
     1.1 --- a/NEWS	Mon Aug 08 19:26:53 2011 -0700
     1.2 +++ b/NEWS	Tue Aug 09 07:44:17 2011 +0200
     1.3 @@ -68,6 +68,8 @@
     1.4  boolean algebras and complete linear orders.  Lemmas Inf_less_iff,
     1.5  less_Sup_iff, INF_less_iff, less_SUP_iff now reside in class complete_linorder.
     1.6  Changes proposition of lemmas Inf_fun_def, Sup_fun_def, Inf_apply, Sup_apply.
     1.7 +Redundant lemmas Inf_singleton, Sup_singleton, Inf_binary and Sup_binary have
     1.8 +been discarded.
     1.9  More consistent and less misunderstandable names:
    1.10    INFI_def ~> INF_def
    1.11    SUPR_def ~> SUP_def