Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Mon, 15 Jul 2019 15:54:59 +0900 | Shinji KONO | ... |
Mon, 15 Jul 2019 09:31:32 +0900 | Shinji KONO | infinite continue... |
Sun, 14 Jul 2019 17:26:57 +0900 | Shinji KONO | Union trans finite |
Sun, 14 Jul 2019 08:04:16 +0900 | Shinji KONO | explict logical definition of Union failed |
Thu, 11 Jul 2019 20:00:30 +0900 | Shinji KONO | differeent Union approach |
Thu, 11 Jul 2019 07:32:28 +0900 | Shinji KONO | union continue |
Wed, 10 Jul 2019 11:50:26 +0900 | Shinji KONO | union trying .. |