source: src/ASM/AssemblyProof.ma @ 823

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

added new file for proof of correctness of pseudo-assembly translation

File size: 56 bytes
Line 
1include "ASM/Assembly.ma".
2include "ASM/Interpret.ma".
3
Note: See TracBrowser for help on using the repository browser.