NEWS
changeset 44343 e5294bcf58a4
parent 44322 43b465f4c480
child 44522 2f7e9d890efe
     1.1 --- a/NEWS	Sat Aug 20 06:34:51 2011 -0700
     1.2 +++ b/NEWS	Sat Aug 20 06:35:43 2011 -0700
     1.3 @@ -70,7 +70,8 @@
     1.4  generalized theorems INF_cong and SUP_cong.  New type classes for complete
     1.5  boolean algebras and complete linear orders.  Lemmas Inf_less_iff,
     1.6  less_Sup_iff, INF_less_iff, less_SUP_iff now reside in class complete_linorder.
     1.7 -Changed proposition of lemmas Inf_fun_def, Sup_fun_def, Inf_apply, Sup_apply.
     1.8 +Changed proposition of lemmas Inf_bool_def, Sup_bool_def, Inf_fun_def, Sup_fun_def,
     1.9 +Inf_apply, Sup_apply.
    1.10  Redundant lemmas Inf_singleton, Sup_singleton, Inf_binary, Sup_binary,
    1.11  INF_eq, SUP_eq, INF_UNIV_range, SUP_UNIV_range, Int_eq_Inter,
    1.12  INTER_eq_Inter_image, Inter_def, INT_eq, Un_eq_Union, UNION_eq_Union_image,