Mercurial > hg > Members > kono > Proof > ZF-in-agda
log Ordinals.agda @ 221:1709c80b7275
age | author | description |
---|---|---|
Thu, 08 Aug 2019 17:32:21 +0900 | Shinji KONO | fix Ordinals |
Wed, 07 Aug 2019 10:28:33 +0900 | Shinji KONO | try to separate Ordinals base ordinal.agda@6be79c9d382b |