Changeset 1228 for src/ERTL/build.ma


Ignore:
Timestamp:
Sep 19, 2011, 4:52:40 PM (8 years ago)
Author:
mulligan
Message:

some more changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/build.ma

    r1227 r1228  
    11include "ERTL/liveness.ma".
    2 include "utilities/Interference.ma".
     2(* include "utilities/Interference.ma". *)
    33
    44definition vertex ≝ register ⊎ Register.
     
    99}.
    1010
    11 axiom create: ∀globals: list ident. ertl_internal_function globals → graph.
     11axiom build: ∀globals: list ident. ertl_internal_function globals → graph.
    1212
    1313inductive decision: Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.