Changes between Version 16 and Version 17 of CurrentlyProposedLanguage


Ignore:
Timestamp:
Nov 5, 2010 4:32:48 PM (14 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CurrentlyProposedLanguage

    v16 v17  
    139139
    140140  The above means that all events from m1 must happen before any events from m2.
     141
     142   '''Invariants'''
     143
     144   This section defines additional invariants - those that cannot be derived from logical topology and timeline of events sections above.