Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Tue, 16 Jul 2019 09:57:01 +0900 | Shinji KONO | minor fix |
| Mon, 15 Jul 2019 19:10:58 +0900 | Shinji KONO | Union, Infinite, Axiom of Choice release |
| Mon, 15 Jul 2019 19:10:08 +0900 | Shinji KONO | Added tag current for changeset b06f5d2f34b1 |
| Mon, 15 Jul 2019 19:09:57 +0900 | Shinji KONO | Axiom of choice |
| Mon, 15 Jul 2019 18:26:56 +0900 | Shinji KONO | ininite done |
| Mon, 15 Jul 2019 15:54:59 +0900 | Shinji KONO | ... |
| Mon, 15 Jul 2019 09:31:32 +0900 | Shinji KONO | infinite continue... |