Changeset 994


Ignore:
Timestamp:
Jun 17, 2011, 6:42:02 PM (9 years ago)
Author:
mulligan
Message:

small changes

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/AssemblyProof.ma

    r993 r994  
    9696  | # NN # AA # VV # IH
    9797    normalize
    98     %
    99   ]
    100 qed.
     98    %
     99qed.
    101100
    102101lemma vector_cons_append2:
    … …  
    11861185qed.
    11871186
    1188 axiom eq_instruction_to_eq: ∀i1,i2. eq_instruction i1 i2 = true → i1 = i2.
     1187axiom eq_instruction_to_eq:
     1188  ∀i1,i2. eq_instruction i1 i2 = true → i1 = i2.
     1189               
    11891190
    11901191lemma fetch_assembly_pseudo:
Note: See TracChangeset for help on using the changeset viewer.