Mercurial > hg > Members > kono > Proof > category

comparison list-nat.agda @ 419:8919c162b894

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cong is a bit strange...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 24 Mar 2016 02:53:25 +0900 (2016-03-23)
parents d6a6dd305da2
children 92eb707498c7
comparison
equal deleted inserted replaced
418:7091104a8cb4 419:8919c162b894