Mercurial > hg > Members > kono > Proof > category
graph
-
Maybe does not help conflict ...Wed, 23 Mar 2016 17:16:29 +0900, by Shinji KONO
-
reverse arrow must be there...Wed, 23 Mar 2016 16:25:23 +0900, by Shinji KONO
-
recover TwoHomWed, 23 Mar 2016 15:45:05 +0900, by Shinji KONO
-
add reasoningWed, 23 Mar 2016 11:29:45 +0900, by Shinji KONO
-
add reasoningWed, 23 Mar 2016 11:16:16 +0900, by Shinji KONO
-
...Wed, 23 Mar 2016 10:57:00 +0900, by Shinji KONO
-
if enumarate all possible combination in assoc, it'll pass.Tue, 22 Mar 2016 15:01:47 +0900, by Shinji KONO
-
...Mon, 21 Mar 2016 21:08:46 +0900, by Shinji KONO
-
non recorded arrow does not workMon, 21 Mar 2016 20:58:00 +0900, by Shinji KONO
-
no Maybe TwoCat in limit-toMon, 21 Mar 2016 12:44:43 +0900, by Shinji KONO
-
...Sun, 20 Mar 2016 12:32:13 +0900, by Shinji KONO
-
maybe CATSun, 20 Mar 2016 11:36:44 +0900, by Shinji KONO