Changeset 827 for src/ASM/Status.ma


Ignore:
Timestamp:
May 24, 2011, 1:26:43 PM (9 years ago)
Author:
sacerdot
Message:

The preamble is now part of the PseudoStatus?.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r821 r827  
    104104
    105105definition Status ≝ PreStatus (BitVectorTrie Byte 16).
    106 definition PseudoStatus ≝ PreStatus (list labelled_instruction).
     106definition PseudoStatus ≝ PreStatus (pseudo_assembly_program).
    107107
    108108lemma sfr8051_index_19:
Note: See TracChangeset for help on using the changeset viewer.