Changeset 846 for src/ASM/Assembly.ma
- Timestamp:
- May 25, 2011, 6:10:04 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/Assembly.ma
r844 r846 675 675 definition assembly_unlabelled_program: assembly_program → option (list Byte × (BitVectorTrie Identifier 16)) ≝ 676 676 λp. Some ? (〈foldr ? ? (λi,l. assembly1 i @ l) [ ] p, Stub …〉). 677
Note: See TracChangeset
for help on using the changeset viewer.