NEWS
changeset 70237 7e9269c188d6
parent 70215 8371a25ca177
child 70258 b4534d72dd22
     1.1 --- a/NEWS	Fri May 03 15:43:13 2019 +0100
     1.2 +++ b/NEWS	Fri May 03 20:04:42 2019 +0200
     1.3 @@ -209,7 +209,8 @@
     1.4  situations, type conversions are not inserted implicitly any longer
     1.5  and need to be given explicitly. Auxiliary abbreviations INFIMUM,
     1.6  SUPREMUM, UNION, INTER should now rarely occur in output and are just
     1.7 -retained as migration auxiliary. INCOMPATIBILITY.
     1.8 +retained as migration auxiliary. Abbreviations MINIMUM and MAXIMUM
     1.9 +are gone INCOMPATIBILITY.
    1.10  
    1.11  * The simplifier uses image_cong_simp as a congruence rule. The historic
    1.12  and not really well-formed congruence rules INF_cong*, SUP_cong*, are