Changeset 745 for src/ERTL/ERTLToLTL.ma


Ignore:
Timestamp:
Apr 8, 2011, 10:15:30 AM (10 years ago)
Author:
mulligan
Message:

Changes from yesterday. Slowly implementing the functorized imperative code from ERTL :(

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r733 r745  
    11include "ERTL/ERTL.ma".
    2 
    3 inductive Decision: Type[0] ≝
    4   | Spill: Immediate → Decision
    5   | Colour: Register → Decision.
    62 
Note: See TracChangeset for help on using the changeset viewer.