Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 29 Mar 2014 23:12:12 +0900 | Shinji KONO | ditr on system T |
Sat, 29 Mar 2014 23:00:22 +0900 | Shinji KONO | assoc in sysem-T |
Sat, 29 Mar 2014 17:12:33 +0900 | Shinji KONO | sym of sum and mul in system T |