Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Thu, 08 Sep 2022 12:44:22 +0900 | Shinji KONO | no-extension on immidate ordinal passed |
Thu, 08 Sep 2022 09:16:51 +0900 | Shinji KONO | ... |
Wed, 07 Sep 2022 23:17:29 +0900 | Shinji KONO | ... |
Wed, 07 Sep 2022 21:28:30 +0900 | Shinji KONO | supf-max |
Tue, 06 Sep 2022 10:25:49 +0900 | Shinji KONO | ... |
Tue, 06 Sep 2022 05:16:07 +0900 | Shinji KONO | close |
Tue, 06 Sep 2022 05:15:40 +0900 | Shinji KONO | csupf b is no good, because supf1 x is not in UnionCF x ( but UnionCD (supf x) ) |