Changeset 3236


Ignore:
Timestamp:
Apr 30, 2013, 6:29:34 PM (4 years ago)
Author:
campbell
Message:

Sneak in a single word fix.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.4/Report/report.tex

    r3231 r3236  
    591591
    592592For the simulation we decided to prove a sufficient amount to give us
    593 confidence in the definitions and approach, but curtail the proof
     593confidence in the definitions and approach, but to curtail the proof
    594594because this pass does not contribute to the intensional correctness
    595595result.  We tackled several simple cases, that do not interact with
Note: See TracChangeset for help on using the changeset viewer.