Ignore:
Timestamp:
Jul 6, 2011, 1:29:58 PM (10 years ago)
Author:
campbell
Message:

Evict CompCert? Maps interface in favour of BitVectorTries?.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/Clight/CexecComplete.ma

    r961 r1058  
    327327| #env1 #m1 #id #ty #l1 #m2 #loc #m3 #env2 #H1 #H2 #H3
    328328  < H3 whd in H1:(??%?) ⊢ (??%?)
    329     destruct (H1) @refl
     329  < (pair_eq1 ?????? H1) < (pair_eq2 ?????? H1)
     330  @refl
    330331] qed.
    331332
Note: See TracChangeset for help on using the changeset viewer.