Changeset 2684 for src


Ignore:
Timestamp:
Feb 21, 2013, 10:32:17 AM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Arithmetic.ma

    r2673 r2684  
    11include "ASM/BitVector.ma".
    22include "ASM/Util.ma".
     3include "arithmetics/exp.ma".
    34
    45definition addr16_of_addr11: Word → Word11 → Word ≝
Note: See TracChangeset for help on using the changeset viewer.