Difference between pages "Proof Skeleton View" and "Proposals of Changes to the Mathematical Language Specification"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Nicolas (New page: ==Purpose== The Proof Skeleton View gives the user the ability to quickly browse the skeleton of a proof, without having to prove it anew. Furthermore, it is intended to be a convenient w...) |
imported>Wohuai (New page: =Change Proposals to Version 1.0= * Matthias: Section 2.3 says that integer literals are unsigned, i.e., nonnegative. In Arithmetic Rewrite Rules, it is assumed that integer literals ...) |
||
Line 1: | Line 1: | ||
− | = | + | =Change Proposals to Version 1.0= |
− | + | * Matthias: Section 2.3 says that integer literals are unsigned, i.e., nonnegative. In [[Arithmetic Rewrite Rules]], it is assumed that integer literals may also be negative. I therefore propose to say in Section 2.3 that integer literals can be positive, zero, or negative, but that negative literals such as -1 are parsed to unary minus followed by 1. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Revision as of 09:26, 11 January 2010
Change Proposals to Version 1.0
- Matthias: Section 2.3 says that integer literals are unsigned, i.e., nonnegative. In Arithmetic Rewrite Rules, it is assumed that integer literals may also be negative. I therefore propose to say in Section 2.3 that integer literals can be positive, zero, or negative, but that negative literals such as -1 are parsed to unary minus followed by 1.