Mercurial > hg > Members > kono > Proof > category
log list-nat0.agda @ 697:c68ba494abfd
age | author | description |
---|---|---|
2013-09-29 | Shinji KONO | arrow and lambda fix |
2013-08-17 | Shinji KONO | sync |
age | author | description |
---|---|---|
2013-09-29 | Shinji KONO | arrow and lambda fix |
2013-08-17 | Shinji KONO | sync |