equal
deleted
inserted
replaced
46 |
46 |
47 * Added the "at most 1" quantifier, Uniq. |
47 * Added the "at most 1" quantifier, Uniq. |
48 |
48 |
49 * For the natural numbers, Sup {} = 0. |
49 * For the natural numbers, Sup {} = 0. |
50 |
50 |
51 * Session HOL-Word: Operation "bin_last" is now a mere input |
51 * Session HOL-Word: Operations "bin_last" and "bin_rest" are now mere |
52 abbreviation. Minor INCOMPATIBILITY. |
52 input abbreviations. INCOMPATIBILITY. |
53 |
53 |
54 * Session HOL-Word: Compound operation "bin_split" simplifies by default |
54 * Session HOL-Word: Compound operation "bin_split" simplifies by default |
55 into its components "drop_bit" and "take_bit". Minor INCOMPATIBILITY. |
55 into its components "drop_bit" and "take_bit". Minor INCOMPATIBILITY. |
56 |
56 |
57 |
57 |