source: src/ERTL/ERTLToLTL.ma @ 1082

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

work from today on ertl -> ltl pass

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