source: src/LTL/ @ 2490

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

switched back to Byte immediate (instead of beval ones)
propagated pending changes to all passes

File size: 148 bytes
1include "joint/".
2include "LTL/".
3include "LIN/".
5definition ltl_to_lin : ltl_program → lin_program ≝
6  linearise ….
Note: See TracBrowser for help on using the repository browser.