Ignore:
Timestamp:
Sep 20, 2011, 3:56:40 PM (9 years ago)
Author:
mulligan
Message:

more changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/Interference.ma

    r1229 r1230  
    3434
    3535definition initial_colouring ≝ coloured_graph decision.
     36axiom colour_initial: graph → initial_colouring.
    3637definition stack_colouring ≝ coloured_graph nat.
     38axiom colour_stack: graph → stack_colouring.
    3739
    3840
     
    525527axiom ig_remove: graph → vertex → graph.
    526528axiom ig_freeze: graph → vertex → graph.
    527 axiom ig_restrict: graph → (vertex → bool) → graph.
     529axiom ig_restrict: graph → (register → bool) → graph. (* XXX: change *)
    528530axiom ig_droph: graph → graph.
    529531axiom ig_lookup: graph → register → vertex.
Note: See TracChangeset for help on using the changeset viewer.