Changeset 1961 for src/ASM/Fetch.ma


Ignore:
Timestamp:
May 16, 2012, 9:12:23 PM (8 years ago)
Author:
sacerdot
Message:

No more interaction required.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Fetch.ma

    r1946 r1961  
    1111
    1212include alias "ASM/BitVectorTrie.ma".
     13include alias "ASM/Arithmetic.ma".
    1314
    1415definition next: BitVectorTrie Byte 16 → ∀program_counter: Word. Word × Byte ≝
Note: See TracChangeset for help on using the changeset viewer.