source: src/LTL @ 723

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 353 bytes 723   9 years mulligan Added dependent type internalising the invariant that LIN function …
LTLToLINI.ma 464 bytes 722   9 years mulligan Committing changes from today. Several files do not typecheck.
Note: See TracBrowser for help on using the repository browser.