Changeset 1961 for src/ASM/Fetch.ma
- Timestamp:
- May 16, 2012, 9:12:23 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/Fetch.ma
r1946 r1961 11 11 12 12 include alias "ASM/BitVectorTrie.ma". 13 include alias "ASM/Arithmetic.ma". 13 14 14 15 definition next: BitVectorTrie Byte 16 → ∀program_counter: Word. Word × Byte ≝
Note: See TracChangeset
for help on using the changeset viewer.