Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Mon, 29 Jul 2013 14:08:45 +0900 | Shinji KONO | nat-μ |
Mon, 29 Jul 2013 12:41:40 +0900 | Shinji KONO | Comparison Functor constructed |
Sun, 28 Jul 2013 21:24:17 +0900 | Shinji KONO | distr continue.. |
Sun, 28 Jul 2013 20:18:32 +0900 | Shinji KONO | K_T identity |
Sun, 28 Jul 2013 19:49:00 +0900 | Shinji KONO | strange but worked. |
Sun, 28 Jul 2013 19:08:26 +0900 | Shinji KONO | on going |
Sun, 28 Jul 2013 18:33:24 +0900 | Shinji KONO | KtoT |