source: src/ERTL/ERTLToLTL.ma @ 733

Last change on this file since 733 was 733, checked in by mulligan, 10 years ago

Fixed partial commit.
File size: 129 bytes
Line 
1include "ERTL/ERTL.ma".
2
3inductive Decision: Type[0] ≝
4  | Spill: Immediate → Decision
5  | Colour: Register → Decision.
6 
Note: See TracBrowser for help on using the repository browser.