| changeset 44937 | 22c0857b8aab |
| parent 44936 | e1139e612b55 |
| child 44967 | b94c1614e7d5 |
--- a/NEWS Thu Sep 15 17:06:00 2011 +0200 +++ b/NEWS Thu Sep 15 12:40:08 2011 -0400 @@ -115,7 +115,7 @@ Redundant lemmas Inf_singleton, Sup_singleton, Inf_binary, Sup_binary, INF_eq, SUP_eq, INF_UNIV_range, SUP_UNIV_range, Int_eq_Inter, -INTER_eq_Inter_image, Inter_def, INT_eq, Un_eq_Union, +INTER_eq_Inter_image, Inter_def, INT_eq, Un_eq_Union, INF_subset, UNION_eq_Union_image, Union_def, UN_singleton, UN_eq have been discarded.