Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Thu, 17 Mar 2016 10:58:01 +0900 | Shinji KONO | Maybe Category to-limit |
Thu, 17 Mar 2016 08:34:10 +0900 | Shinji KONO | on going... |
Thu, 17 Mar 2016 08:07:38 +0900 | Shinji KONO | maybe category done |
Wed, 16 Mar 2016 17:43:31 +0900 | Shinji KONO | add Maybe Category |
Wed, 16 Mar 2016 15:44:46 +0900 | Shinji KONO | inconsistent distribution law on nil x arrow-g |
Wed, 16 Mar 2016 13:02:51 +0900 | Shinji KONO | non nil dead end... |