equal
deleted
inserted
replaced
109 |
109 |
110 * Session HOL-Word: Compound operation "bin_split" simplifies by default |
110 * Session HOL-Word: Compound operation "bin_split" simplifies by default |
111 into its components "drop_bit" and "take_bit". INCOMPATIBILITY. |
111 into its components "drop_bit" and "take_bit". INCOMPATIBILITY. |
112 |
112 |
113 * Session HOL-Word: Uniform polymorphic "mask" operation for both |
113 * Session HOL-Word: Uniform polymorphic "mask" operation for both |
114 types int and word. INCOMPATIBILITY |
114 types int and word. INCOMPATIBILITY. |
115 |
115 |
116 * Session HOL-Word: Operations lsb, msb and set_bit are separated |
116 * Session HOL-Word: Operations lsb, msb and set_bit are separated |
117 into theories Misc_lsb, Misc_msb and Misc_set_bit respectively. |
117 into theories Misc_lsb, Misc_msb and Misc_set_bit respectively. |
118 INCOMPATIBILITY. |
118 INCOMPATIBILITY. |
119 |
119 |