Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Thu, 25 Jul 2013 11:43:51 +0900 | Shinji KONO | assoc proved. |
Wed, 24 Jul 2013 23:23:56 +0900 | Shinji KONO | unity done |
Wed, 24 Jul 2013 23:16:21 +0900 | Shinji KONO | unity1 |
Wed, 24 Jul 2013 22:45:57 +0900 | Shinji KONO | UεF |
Wed, 24 Jul 2013 22:32:53 +0900 | Shinji KONO | on going |
Wed, 24 Jul 2013 21:19:27 +0900 | Shinji KONO | nat and functor comp |
Wed, 24 Jul 2013 20:47:28 +0900 | Shinji KONO | add unitility |