Mercurial > hg > Members > kono > Proof > ZF-in-agda
log OD.agda @ 228:49736efc822b
age | author | description |
---|---|---|
Sun, 11 Aug 2019 20:42:48 +0900 | Shinji KONO | try transfinite |
Sun, 11 Aug 2019 13:05:17 +0900 | Shinji KONO | set theortic function definition using sup |
Fri, 09 Aug 2019 17:57:58 +0900 | Shinji KONO | sepration of ordinal from OD |
Wed, 07 Aug 2019 09:50:51 +0900 | Shinji KONO | separate cardinal |
Tue, 06 Aug 2019 15:50:14 +0900 | Shinji KONO | try func |
Mon, 05 Aug 2019 17:02:37 +0900 | Shinji KONO | cardinal continue |
Sun, 04 Aug 2019 18:09:00 +0900 | Shinji KONO | Cardinal start |