Changeset 846 for src/ASM/Assembly.ma


Ignore:
Timestamp:
May 25, 2011, 6:10:04 PM (9 years ago)
Author:
mulligan
Message:

changes

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/Assembly.ma

    r844 r846  
    675675definition assembly_unlabelled_program: assembly_program → option (list Byte × (BitVectorTrie Identifier 16)) ≝
    676676 λp. Some ? (〈foldr ? ? (λi,l. assembly1 i @ l) [ ] p, Stub …〉).
    677 
Note: See TracChangeset for help on using the changeset viewer.