Mercurial > hg > Members > kono > Proof > category

comparison em-category.agda @ 139:17f45f909770

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
η and μ defined.
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 13 Aug 2013 12:47:37 +0900
parents 5f331dfc000b
children d6a6dd305da2
comparison
equal deleted inserted replaced
138:293e3e8c43dd 139:17f45f909770