Mercurial > hg > Members > kono > Proof > category
diff category.ind @ 377:2dfa2d59268c
associative in twocat dead end?
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 11 Mar 2016 18:49:58 +0900 |
parents | 276f33602700 |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 11 Mar 2016 18:49:58 +0900 |
parents | 276f33602700 |
children |