equal
deleted
inserted
replaced
223 * Abandoned fact collection "word_arith_alts", which is a |
223 * Abandoned fact collection "word_arith_alts", which is a |
224 duplicate of "word_arith_wis". |
224 duplicate of "word_arith_wis". |
225 * Dropped first (duplicated) element in fact collections |
225 * Dropped first (duplicated) element in fact collections |
226 "sint_word_ariths", "word_arith_alts", "uint_word_ariths", |
226 "sint_word_ariths", "word_arith_alts", "uint_word_ariths", |
227 "uint_word_arith_bintrs". |
227 "uint_word_arith_bintrs". |
|
228 |
|
229 * Code generator: enforce case of identifiers only for strict |
|
230 target language requirements. INCOMPATIBILITY. |
228 |
231 |
229 * Code generator: explicit proof contexts in many ML interfaces. |
232 * Code generator: explicit proof contexts in many ML interfaces. |
230 INCOMPATIBILITY. |
233 INCOMPATIBILITY. |
231 |
234 |
232 * Code generator: minimize exported identifiers by default. |
235 * Code generator: minimize exported identifiers by default. |