Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2019-06-25 | Shinji KONO | Select declaration |
2019-06-25 | Shinji KONO | f x d |
2019-06-25 | Shinji KONO | ... |
2019-06-24 | Shinji KONO | HOD |
2019-06-20 | Shinji KONO | ... |
2019-06-18 | Shinji KONO | dead end |
2019-06-18 | Shinji KONO | remove o<→c< and add otrans in OD |
2019-06-18 | Shinji KONO | dead end? |
2019-06-16 | Shinji KONO | add assumption |
2019-06-16 | Shinji KONO | add Ord Ordinal order preserving map |
2019-06-16 | Shinji KONO | power set |
2019-06-15 | Shinji KONO | ... |
2019-06-12 | Shinji KONO | starting over HOD |
2019-06-10 | Shinji KONO | ZF Set Theory in Agda release |
2019-06-10 | Shinji KONO | Added tag current for changeset a402881cc341 |