Wed, 23 Mar 2016 19:52:27 +0900 |
Shinji KONO |
same conflict again ...
|
Wed, 23 Mar 2016 17:16:29 +0900 |
Shinji KONO |
Maybe does not help conflict ...
|
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.
|
Mon, 21 Mar 2016 21:08:46 +0900 |
Shinji KONO |
...
|
Mon, 21 Mar 2016 20:58:00 +0900 |
Shinji KONO |
non recorded arrow does not work
|
Mon, 21 Mar 2016 12:44:43 +0900 |
Shinji KONO |
no Maybe TwoCat in limit-to
|
Sun, 20 Mar 2016 12:32:13 +0900 |
Shinji KONO |
...
|