equal
deleted
inserted
replaced
95 (only makes sense in practice, if outer syntax is delimited |
95 (only makes sense in practice, if outer syntax is delimited |
96 differently). |
96 differently). |
97 |
97 |
98 |
98 |
99 *** HOL *** |
99 *** HOL *** |
|
100 |
|
101 * More aggressive normalization of expressions involving INF and Inf |
|
102 or SUP and Sup. INCOMPATIBILITY. |
|
103 |
|
104 * INF_image and SUP_image do not unfold composition. |
|
105 INCOMPATIBILITY. |
100 |
106 |
101 * Swapped orientation of facts image_comp and vimage_comp: |
107 * Swapped orientation of facts image_comp and vimage_comp: |
102 image_compose ~> image_comp [symmetric] |
108 image_compose ~> image_comp [symmetric] |
103 image_comp ~> image_comp [symmetric] |
109 image_comp ~> image_comp [symmetric] |
104 vimage_compose ~> vimage_comp [symmetric] |
110 vimage_compose ~> vimage_comp [symmetric] |