Mercurial > hg > Members > kono > Proof > category

log comparison-em.agda @ 121:324511654f23

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Thu, 01 Aug 2013 18:14:42 +0900 Shinji KONO add Comparison functor for EM base comparison-functor.agda@b869ef2a9409
less more | (0) tip