Ignore:
Timestamp:
Mar 30, 2011, 6:47:35 PM (10 years ago)
Author:
campbell
Message:

Change identifiers to Words in Clight and RTLabs semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/CexecComplete.ma

    r708 r726  
    328328| #env1 #m1 #id #ty #l1 #m2 #loc #m3 #env2 #H1 #H2 #H3
    329329  < H3 whd in H1:(??%?) ⊢ (??%?)
    330     destruct (H1) //
     330    destruct (H1) @refl
    331331] qed.
    332332
Note: See TracChangeset for help on using the changeset viewer.