Changeset 1515 for src/ASM/I8051.ma
- Timestamp:
- Nov 18, 2011, 1:03:14 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/I8051.ma
r1416 r1515 7 7 include "utilities/Compare.ma". 8 8 include "joint/BEValues.ma". 9 include "ASM/BitVectorTrie.ma". 9 10 10 11 definition int_size ≝ bitvector_of_nat 8 1.
Note: See TracChangeset
for help on using the changeset viewer.