Changeset 982 for src/ASM/Assembly.ma


Ignore:
Timestamp:
Jun 16, 2011, 2:39:53 PM (8 years ago)
Author:
boender
Message:
  • this should work (see previous commit)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r938 r982  
    44include "ASM/Fetch.ma".
    55include "ASM/Status.ma".
     6include "ASM/FoldStuff.ma".
    67
    78definition assembly_preinstruction ≝
Note: See TracChangeset for help on using the changeset viewer.