Mercurial > hg > Members > kono > Proof > ZF-in-agda
log src/zorn.agda @ 912:870a6b57dd39
age | author | description |
---|---|---|
Wed, 12 Oct 2022 14:03:38 +0900 | Shinji KONO | ... |
Wed, 12 Oct 2022 11:11:42 +0900 | Shinji KONO | ... |
Wed, 12 Oct 2022 10:23:27 +0900 | Shinji KONO | ... |
Wed, 12 Oct 2022 01:46:29 +0900 | Shinji KONO | ... |
Tue, 11 Oct 2022 22:47:13 +0900 | Shinji KONO | supf (supf x) ≡ supf x is bad |
Tue, 11 Oct 2022 10:41:19 +0900 | Shinji KONO | ... |
Mon, 10 Oct 2022 18:25:04 +0900 | Shinji KONO | ... |