Changeset 832 for src/ASM/ASM.ma


Ignore:
Timestamp:
May 24, 2011, 6:40:13 PM (9 years ago)
Author:
mulligan
Message:

work from today

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r820 r832  
    111111  ∀p:bool_to_Prop (is_in ? l a).subaddressing_mode n l
    112112 ≝ mk_subaddressing_mode on a:addressing_mode to subaddressing_mode ? ?.
    113 
     113 
    114114inductive preinstruction (A: Type[0]) : Type[0] ≝
    115115  ADD: [[acc_a]] → [[ registr ; direct ; indirect ; data ]] → preinstruction A
Note: See TracChangeset for help on using the changeset viewer.