Mercurial > hg > Members > kono > Proof > category
log system-t.agda @ 684:5d9d7c2f2718
age | author | description |
---|---|---|
2017-06-08 | Shinji KONO | another snat-cong approach |
2014-04-19 | Shinji KONO | fix |
2014-03-29 | Shinji KONO | ditr on system T |
2014-03-29 | Shinji KONO | assoc in sysem-T |
2014-03-29 | Shinji KONO | sym of sum and mul in system T |
2014-03-20 | Shinji KONO | R lemma |
2014-03-15 | Shinji KONO | System T and System F |