Mercurial > hg > Members > kono > Proof > category
diff list-monoid-cat.agda @ 289:7dc163c026b7
move to iProduct axiom
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 25 Sep 2013 13:25:14 +0900 |
parents | a9b4132d619b |
children | d6a6dd305da2 |