Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Wed, 23 Mar 2016 16:25:23 +0900 | Shinji KONO | reverse arrow must be there... |
Wed, 23 Mar 2016 15:45:05 +0900 | Shinji KONO | recover TwoHom |
Wed, 23 Mar 2016 11:29:45 +0900 | Shinji KONO | add reasoning |
Wed, 23 Mar 2016 11:16:16 +0900 | Shinji KONO | add reasoning |
Wed, 23 Mar 2016 10:57:00 +0900 | Shinji KONO | ... |
Tue, 22 Mar 2016 15:01:47 +0900 | Shinji KONO | if enumarate all possible combination in assoc, it'll pass. |