Changeset 1058 for src/Clight/CexecComplete.ma
- Timestamp:
- Jul 6, 2011, 1:29:58 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Clight/CexecComplete.ma
r961 r1058 327 327 | #env1 #m1 #id #ty #l1 #m2 #loc #m3 #env2 #H1 #H2 #H3 328 328 < H3 whd in H1:(??%?) ⊢ (??%?) 329 destruct (H1) @refl 329 < (pair_eq1 ?????? H1) < (pair_eq2 ?????? H1) 330 @refl 330 331 ] qed. 331 332
Note: See TracChangeset
for help on using the changeset viewer.