equal
deleted
inserted
replaced
96 differently). |
96 differently). |
97 |
97 |
98 |
98 |
99 *** HOL *** |
99 *** HOL *** |
100 |
100 |
|
101 * Consolidated theorem names containing INFI and SUPR: have INF |
|
102 and SUP instead uniformly. INCOMPATIBILITY. |
|
103 |
101 * More aggressive normalization of expressions involving INF and Inf |
104 * More aggressive normalization of expressions involving INF and Inf |
102 or SUP and Sup. INCOMPATIBILITY. |
105 or SUP and Sup. INCOMPATIBILITY. |
103 |
106 |
104 * INF_image and SUP_image do not unfold composition. |
107 * INF_image and SUP_image do not unfold composition. |
105 INCOMPATIBILITY. |
108 INCOMPATIBILITY. |
106 |
109 |
107 * Swapped orientation of facts image_comp and vimage_comp: |
110 * Swapped orientation of facts image_comp and vimage_comp: |