source: src/ERTL/ERTLToLTL.ma @ 745

Last change on this file since 745 was 745, checked in by mulligan, 9 years ago

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

File size: 27 bytes
Line 
1include "ERTL/ERTL.ma".
2 
Note: See TracBrowser for help on using the repository browser.