source: src/LTL/ @ 3003

Last change on this file since 3003 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
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.