Ignore:
Timestamp:
Jun 7, 2012, 3:51:11 PM (8 years ago)
Author:
campbell
Message:

Silly typo and old comment.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/semantics.ma

    r1999 r2025  
    1 
    2 (* XXX NB: I haven't checked all of these semantics against the prototype
    3            compilers yet! *)
    41
    52include "basics/lists/list.ma".
     
    267264] qed.
    268265
    269 lemma eval_perserves : ∀ge,s,tr,s'.
     266lemma eval_preserves : ∀ge,s,tr,s'.
    270267  eval_statement ge s = Value ??? 〈tr,s'〉 →
    271268  state_rel ge s s'.
Note: See TracChangeset for help on using the changeset viewer.