Changes between Version 18 and Version 19 of CurrentlyProposedLanguage
- Timestamp:
- Nov 5, 2010 4:33:16 PM (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
CurrentlyProposedLanguage
v18 v19 142 142 '''Invariants''' 143 143 144 144 This section defines additional invariants - those that cannot be derived from logical topology and timeline of events sections above.