source: src/LTL/LTLToLIN.ma @ 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
RevLine 
[2286]1include "joint/linearise.ma".
[714]2include "LTL/LTL.ma".
3include "LIN/LIN.ma".
4
[1236]5definition ltl_to_lin : ltl_program → lin_program ≝
[2490]6  linearise ….
Note: See TracBrowser for help on using the repository browser.