source: src/LTL @ 728

Name Size Rev Age Author Last Change
../
LTL.ma 921 bytes 723   9 years mulligan Added dependent type internalising the invariant that LIN function …
LTLToLIN.ma 3.7 KB 728   9 years mulligan Changes from last two days.
LTLToLINI.ma 0 bytes 728   9 years mulligan Changes from last two days.
Note: See TracBrowser for help on using the repository browser.