Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sun, 12 Nov 2017 01:29:47 +0900 | Shinji KONO | fix universal mapping done. |
Sun, 12 Nov 2017 00:53:32 +0900 | Shinji KONO | fix again |
Sat, 11 Nov 2017 21:34:58 +0900 | Shinji KONO | fix monad/adjunction definition |
Wed, 08 Nov 2017 19:57:43 +0900 | Shinji KONO | Added tag current for changeset 14ad6ec8a662 |
Wed, 08 Nov 2017 19:57:33 +0900 | Shinji KONO | fix comment |
Wed, 08 Nov 2017 08:40:11 +0900 | Shinji KONO | ... |