Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Fri, 19 Jul 2019 07:04:13 +0900 | Shinji KONO | ... |
| Fri, 19 Jul 2019 05:12:08 +0900 | Shinji KONO | trans finite on ε-induction |
| Fri, 19 Jul 2019 03:27:58 +0900 | Shinji KONO | ... |
| Thu, 18 Jul 2019 16:06:41 +0900 | Shinji KONO | ... |
| Wed, 17 Jul 2019 10:52:31 +0900 | Shinji KONO | use double negation |
| 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 |