Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Sun, 16 Jun 2019 19:55:37 +0900 | Shinji KONO | add assumption |
Sun, 16 Jun 2019 12:26:18 +0900 | Shinji KONO | add Ord Ordinal order preserving map |
Sun, 16 Jun 2019 11:37:00 +0900 | Shinji KONO | power set |
Sun, 16 Jun 2019 02:06:09 +0900 | Shinji KONO | ... |
Wed, 12 Jun 2019 10:45:00 +0900 | Shinji KONO | starting over HOD |
Mon, 10 Jun 2019 09:53:45 +0900 | Shinji KONO | ZF Set Theory in Agda release |
Mon, 10 Jun 2019 09:50:52 +0900 | Shinji KONO | Added tag current for changeset a402881cc341 |