| changeset 46981 | d54cea5b64e4 |
| parent 46966 | daf5538144d6 |
| child 46983 | 216a839841bc |
--- a/NEWS Fri Mar 16 22:26:55 2012 +0100 +++ b/NEWS Sat Mar 17 08:00:18 2012 +0100 @@ -114,6 +114,8 @@ Domain_def ~> Domain_unfold Range_def ~> Domain_converse [symmetric] +Generalized theorems INF_INT_eq, INF_INT_eq2, SUP_UN_eq, SUP_UN_eq2. + INCOMPATIBILITY. * Consolidated various theorem names relating to Finite_Set.fold