Mercurial > hg > Members > kono > Proof > ZF-in-agda

comparison filter.agda @ 217:d5668179ee69

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cardinal continue
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 05 Aug 2019 17:02:37 +0900
parents 0b9645a65542
children 650bdad56729
comparison
equal deleted inserted replaced
216:5b9b6ef971dd 217:d5668179ee69