Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Mon, 08 Jul 2019 19:45:59 +0900 | Shinji KONO | give up |
Mon, 08 Jul 2019 19:35:23 +0900 | Shinji KONO | ... |
Mon, 08 Jul 2019 18:26:33 +0900 | Shinji KONO | ord-Ord causes od→ord x o< od→ord y → y ∋ x, |
Mon, 08 Jul 2019 18:19:56 +0900 | Shinji KONO | all done but ... |
Mon, 08 Jul 2019 13:21:14 +0900 | Shinji KONO | Union again |
Mon, 08 Jul 2019 12:34:08 +0900 | Shinji KONO | union remains |
Mon, 08 Jul 2019 12:13:19 +0900 | Shinji KONO | Power Set |
Mon, 08 Jul 2019 00:20:30 +0900 | Shinji KONO | fix or |