Changeset 1223 for src/ERTL/build.ma


Ignore:
Timestamp:
Sep 16, 2011, 5:15:35 PM (9 years ago)
Author:
mulligan
Message:

changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/build.ma

    r1187 r1223  
    22include "utilities/Interference.ma".
    33
     4axiom graph : Type[0].
     5axiom create: ∀globals: list ident. ertl_internal_function globals → graph.
     6
     7record build_properties: Type[1] ≝
     8{
     9  lookup: graph → register → vertex
     10}.
     11
     12(*
    413definition build ≝
    514  λglobals: list ident.
     
    5968    〈liveafter, graph〉.
    6069  [*: @lattice_bottom ] (* XXX: matita bug here! *)
    61 qed.
     70qed. *)
Note: See TracChangeset for help on using the changeset viewer.