Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Tue, 20 Aug 2019 10:36:37 +0900 | Shinji KONO | ... |
| Mon, 19 Aug 2019 11:39:46 +0900 | Shinji KONO | ZFProduct |
| Mon, 19 Aug 2019 00:37:35 +0900 | Shinji KONO | ... |
| Fri, 16 Aug 2019 15:53:29 +0900 | Shinji KONO | ... |
| Thu, 15 Aug 2019 04:51:24 +0900 | Shinji KONO | fix cardinal |
| Tue, 13 Aug 2019 22:21:10 +0900 | Shinji KONO | ac from LEM in abstract ordinal |
| Mon, 12 Aug 2019 13:28:59 +0900 | Shinji KONO | function continue |
| Mon, 12 Aug 2019 09:04:16 +0900 | Shinji KONO | axiomaized ordinals. filter and cardinal are incomplete release |