Ignore:
Timestamp:
Aug 30, 2011, 4:02:37 PM (9 years ago)
Author:
mulligan
Message:

changed naming in i8051 of classes of registers to make them consistent

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/Interference.ma

    r1127 r1145  
    11include "basics/types.ma".
    22include "basics/list.ma".
     3include "common/Graphs.ma".
    34include "common/Registers.ma".
    45
    5 axiom interference_graph: Type[0].
     6definition interference_graph ≝ graph label.
    67axiom vertex: Type[0].
    78axiom vertex_set: Type[0].
Note: See TracChangeset for help on using the changeset viewer.