Changeset 985 for src/ASM/ASM.ma


Ignore:
Timestamp:
Jun 16, 2011, 4:50:23 PM (9 years ago)
Author:
sacerdot
Message:

1) Major refactoring: proofs moved where they should be.
2) New build_map that never fails.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r832 r985  
    1 include "common/AST.ma".
     1include "ASM/BitVector.ma".
     2
     3definition Identifier ≝ Word.
    24
    35inductive addressing_mode: Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.