equal
deleted
inserted
replaced
19 INCOMPATIBILITY. |
19 INCOMPATIBILITY. |
20 |
20 |
21 * Abolished neg_numeral. |
21 * Abolished neg_numeral. |
22 * Canonical representation for minus one is "- 1". |
22 * Canonical representation for minus one is "- 1". |
23 * Canonical representation for other negative numbers is "- (numeral _)". |
23 * Canonical representation for other negative numbers is "- (numeral _)". |
24 * When devising rules set for number calculation, consider the |
24 * When devising rule sets for number calculation, consider the |
25 following cases: 0, 1, numeral _, - 1, - numeral _. |
25 following cases: 0, 1, numeral _, - 1, - numeral _. |
26 * Syntax for negative numerals is mere input syntax. |
26 * Syntax for negative numerals is mere input syntax. |
27 INCOMPATBILITY. |
27 INCOMPATBILITY. |
28 |
28 |
29 * Elimination of fact duplicates: |
29 * Elimination of fact duplicates: |