Changeset 1230 for src/ERTL/Interference.ma
 Timestamp:
 Sep 20, 2011, 3:56:40 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/ERTL/Interference.ma
r1229 r1230 34 34 35 35 definition initial_colouring ≝ coloured_graph decision. 36 axiom colour_initial: graph → initial_colouring. 36 37 definition stack_colouring ≝ coloured_graph nat. 38 axiom colour_stack: graph → stack_colouring. 37 39 38 40 … … 525 527 axiom ig_remove: graph → vertex → graph. 526 528 axiom ig_freeze: graph → vertex → graph. 527 axiom ig_restrict: graph → ( vertex → bool) → graph.529 axiom ig_restrict: graph → (register → bool) → graph. (* XXX: change *) 528 530 axiom ig_droph: graph → graph. 529 531 axiom ig_lookup: graph → register → vertex.
Note: See TracChangeset
for help on using the changeset viewer.