source: src/LTL/LTLToLIN.ma @ 2745

Last change on this file since 2745 was 2490, checked in by tranquil, 8 years ago

switched back to Byte immediate (instead of beval ones)
propagated pending changes to all passes
File size: 148 bytes
Line 
1include "joint/linearise.ma".
2include "LTL/LTL.ma".
3include "LIN/LIN.ma".
4
5definition ltl_to_lin : ltl_program → lin_program ≝
6  linearise ….
Note: See TracBrowser for help on using the repository browser.