Mercurial > hg > Members > atton > agda-proofs
log LTL/LTL.agda @ 77:a2e6f61d5f2b default tip
age | author | description |
---|---|---|
Fri, 11 Dec 2015 20:27:04 +0900 | Yasutaka Higa | Trying LTL |
age | author | description |
---|---|---|
Fri, 11 Dec 2015 20:27:04 +0900 | Yasutaka Higa | Trying LTL |