Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Mon, 06 Mar 2017 17:17:57 +0900 | Shinji KONO | discrete should have Set based Obj |
Mon, 06 Mar 2017 17:16:27 +0900 | Shinji KONO | discrete f ≡ refl should be passed, but it doesn't |
Mon, 06 Mar 2017 15:45:51 +0900 | Shinji KONO | discrete category and product from a limit |
Sun, 05 Mar 2017 11:14:32 +0900 | Shinji KONO | clean up |
Sat, 04 Mar 2017 16:57:58 +0900 | Shinji KONO | clean up |
Sat, 04 Mar 2017 16:26:57 +0900 | Shinji KONO | clean up |
Sat, 04 Mar 2017 11:05:55 +0900 | Shinji KONO | document clean up |