Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 31 Aug 2013 01:57:35 +0900 | Shinji KONO | fix |
Sat, 31 Aug 2013 01:51:38 +0900 | Shinji KONO | comment |
Sat, 31 Aug 2013 01:47:49 +0900 | Shinji KONO | clean up |
Sat, 31 Aug 2013 01:23:50 +0900 | Shinji KONO | give up injective on Object? |
Fri, 30 Aug 2013 21:46:18 +0900 | Shinji KONO | Nat2F→F2Nat done |
Fri, 30 Aug 2013 19:46:40 +0900 | Shinji KONO | F2Nat→Nat2F done |