source: Deliverables/D4.1/Matita/ASM.ma @ 247

Last change on this file since 247 was 247, checked in by mulligan, 9 years ago

Changes to get directory to compile.

File size: 86 bytes
Line 
1ninductive AddressingMode: Type[0] ≝
2  Direct: BitVector eight → AddressingMode
3|
Note: See TracBrowser for help on using the repository browser.