Changeset 1060 for src/ASM/I8051.ma


Ignore:
Timestamp:
Jul 8, 2011, 12:17:14 PM (9 years ago)
Author:
mulligan
Message:

work from this morning and yesterday

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r777 r1060  
    1515inductive OpAccs: Type[0] ≝
    1616  Mul: OpAccs
    17 | Divu: OpAccs
    18 | Modu: OpAccs.
     17| DivuModu: OpAccs.
    1918
    2019inductive Op1: Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.