 Timestamp:
 Jun 17, 2011, 6:42:02 PM (9 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/ASM/AssemblyProof.ma
r993 r994 96 96  # NN # AA # VV # IH 97 97 normalize 98 % 99 ] 100 qed. 98 % 99 qed. 101 100 102 101 lemma vector_cons_append2: … … 1186 1185 qed. 1187 1186 1188 axiom eq_instruction_to_eq: ∀i1,i2. eq_instruction i1 i2 = true → i1 = i2. 1187 axiom eq_instruction_to_eq: 1188 ∀i1,i2. eq_instruction i1 i2 = true → i1 = i2. 1189 1189 1190 1190 1191 lemma fetch_assembly_pseudo:
Note: See TracChangeset
for help on using the changeset viewer.