Mercurial > hg > Members > kono > Proof > category

log category.ind @ 80:e945c201364a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Thu, 25 Jul 2013 12:13:10 +0900 Shinji KONO add pdf
Mon, 22 Jul 2013 21:29:26 +0900 Shinji KONO Functor Identity
Mon, 22 Jul 2013 19:07:31 +0900 Shinji KONO isFunctor
Mon, 22 Jul 2013 14:30:27 +0900 Shinji KONO add universal mapping
Sat, 06 Jul 2013 08:50:32 +0900 Shinji KONO fix
Sat, 06 Jul 2013 00:34:08 +0900 Shinji KONO category agda
less more | (0) tip