Changeset 712 for src/ASM/Fetch.ma


Ignore:
Timestamp:
Mar 28, 2011, 5:40:51 PM (10 years ago)
Author:
mulligan
Message:

Changes to get things to typecheck.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Fetch.ma

    r706 r712  
    22include "ASM/Arithmetic.ma".
    33include "ASM/ASM.ma".
    4 
    5 include "basics/types.ma".
    64
    75definition next: BitVectorTrie Byte 16 → Word → Word × Byte ≝
Note: See TracChangeset for help on using the changeset viewer.