Mercurial > hg > Members > kono > Proof > category
log limit-to.agda @ 350:c483374f542b
age | author | description |
---|---|---|
Wed, 24 Dec 2014 12:00:16 +0900 | Shinji KONO | try equalizer from limit |
age | author | description |
---|---|---|
Wed, 24 Dec 2014 12:00:16 +0900 | Shinji KONO | try equalizer from limit |