equal
deleted
inserted
replaced
207 |
207 |
208 * Simplified syntax setup for big operators under image. In rare |
208 * Simplified syntax setup for big operators under image. In rare |
209 situations, type conversions are not inserted implicitly any longer |
209 situations, type conversions are not inserted implicitly any longer |
210 and need to be given explicitly. Auxiliary abbreviations INFIMUM, |
210 and need to be given explicitly. Auxiliary abbreviations INFIMUM, |
211 SUPREMUM, UNION, INTER should now rarely occur in output and are just |
211 SUPREMUM, UNION, INTER should now rarely occur in output and are just |
212 retained as migration auxiliary. INCOMPATIBILITY. |
212 retained as migration auxiliary. Abbreviations MINIMUM and MAXIMUM |
|
213 are gone INCOMPATIBILITY. |
213 |
214 |
214 * The simplifier uses image_cong_simp as a congruence rule. The historic |
215 * The simplifier uses image_cong_simp as a congruence rule. The historic |
215 and not really well-formed congruence rules INF_cong*, SUP_cong*, are |
216 and not really well-formed congruence rules INF_cong*, SUP_cong*, are |
216 not used by default any longer. INCOMPATIBILITY; consider using declare |
217 not used by default any longer. INCOMPATIBILITY; consider using declare |
217 image_cong_simp [cong del] in extreme situations. |
218 image_cong_simp [cong del] in extreme situations. |