Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Thu, 24 Mar 2016 11:31:14 +0900 | Shinji KONO | refl in free-monoid trouble |
| Thu, 24 Mar 2016 02:53:25 +0900 | Shinji KONO | cong is a bit strange... |
| Thu, 24 Mar 2016 02:07:45 +0900 | Shinji KONO | assoc passed |
| Thu, 24 Mar 2016 01:48:13 +0900 | Shinji KONO | with inv-f, distribution law passed. |
| Wed, 23 Mar 2016 22:47:32 +0900 | Shinji KONO | if we add invserse, there no nothing part, it generates extra commutaivitiy in nat, which is no good |
| Wed, 23 Mar 2016 19:52:27 +0900 | Shinji KONO | same conflict again ... |