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 |