Mercurial > hg > Members > tatsuki > proofsAndTypes

log and.agda @ 0:d9d5091eb899 draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Tue, 04 Mar 2014 15:04:53 +0900 tatsuki Try 'and' definition on agda draft default tip
less more | (0) tip