Changeset 724 for src/ASM/I8051.ma


Ignore:
Timestamp:
Mar 30, 2011, 2:03:05 PM (10 years ago)
Author:
campbell
Message:

More tractable version of bitvector_of_nat / nat_of_bitvector.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r698 r724  
    44include "ASM/String.ma".
    55include "ASM/ASM.ma".
     6include "ASM/Arithmetic.ma".
    67include "utilities/Compare.ma".
    78
Note: See TracChangeset for help on using the changeset viewer.