source: src/LTL/ @ 3041

Last change on this file since 3041 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
[2286]1include "joint/".
[714]2include "LTL/".
3include "LIN/".
[1236]5definition ltl_to_lin : ltl_program → lin_program ≝
[2490]6  linearise ….
Note: See TracBrowser for help on using the repository browser.