Changeset 2504 for src/ASM/Interpret.ma


Ignore:
Timestamp:
Nov 29, 2012, 3:33:59 PM (7 years ago)
Author:
mckinna
Message:

More refactoring to support the tidied up compiler.ma

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r2283 r2504  
    22include "ASM/StatusProofs.ma".
    33include "ASM/Fetch.ma".
    4 include "ASM/AbstractStatus.ma".
     4include "ASM/AbstractStatus.ma". 
    55   
    66lemma execute_1_technical:
Note: See TracChangeset for help on using the changeset viewer.