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

comparison zf.agda @ 45:33860eb44e47

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
od∅' {n} = ord→od (o∅ {n}) does not work
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 25 May 2019 04:58:38 +0900
parents f10ceee99d00
children 83b13f1f4f42
comparison
equal deleted inserted replaced
44:fcac01485f32 45:33860eb44e47