Changeset 1049 for src/common


Ignore:
Timestamp:
Jul 1, 2011, 5:45:46 PM (8 years ago)
Author:
mulligan
Message:

more stuff added

Location:
src/common
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Registers.ma

    r777 r1049  
    11
    22(* NB: this is essentially the same as Graphs! *)
    3 
    4 include "basics/types.ma".
    53
    64include "ASM/BitVectorTrie.ma".
    75include "common/Identifiers.ma".
    86include "ASM/I8051.ma".
     7include "common/Order.ma".
    98
    109axiom RegisterTag : String.
     
    1615definition register_env ≝ identifier_map RegisterTag.
    1716
     17axiom register_ord: register → register → order.
     18
    1819(* dpm: fix the Register/register mismatch *)
    1920axiom Register_of_register: register → Register.
Note: See TracChangeset for help on using the changeset viewer.