Mercurial > hg > Members > atton > agda > systemT
log systemT.agda @ 13:5a81867278af default tip
age | author | description |
---|---|---|
2014-05-21 | Yasutaka Higa | Proof add-sym |
2014-05-13 | Yasutaka Higa | Add De Morgan's laws |
2014-05-09 | Yasutaka Higa | Define Bool, Int, D and R |