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

comparison ordinal-definable.agda @ 136:3cc848664a86

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
... should use Select in Replace
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 07 Jul 2019 02:19:32 +0900
parents 35ce91192cf4
children 567084f2278f
comparison
equal deleted inserted replaced
135:b60b6e8a57b0 136:3cc848664a86