Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2023-06-14 | Shinji KONO | direct count A |
2023-06-13 | Shinji KONO | ... |
2023-06-13 | Shinji KONO | ... |
2023-06-13 | Shinji KONO | ... |
2023-06-13 | Shinji KONO | ... |
2023-06-13 | Shinji KONO | ... |
2023-06-12 | Shinji KONO | ... |
2023-06-11 | Shinji KONO | ... |
2023-06-11 | Shinji KONO | ... |
2023-06-11 | Shinji KONO | ... |
2023-06-11 | Shinji KONO | ... |
2023-06-11 | Shinji KONO | ... |
2023-06-11 | Shinji KONO | using Fresh List |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | include all A less than n |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | bad appraoch |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-08 | Shinji KONO | ... |
2023-06-08 | Shinji KONO | ... |
2023-06-08 | Shinji KONO | ... |
2023-06-07 | Shinji KONO | ... |
2023-06-07 | Shinji KONO | ... |
2023-06-05 | Shinji KONO | ... |
2023-06-05 | Shinji KONO | fix PFOD |
2023-06-04 | Shinji KONO | remove next |
2023-06-03 | Shinji KONO | Added tag current for changeset 2c34f2b554cf |
2023-06-03 | Shinji KONO | Replace and filter projection fix done current |
2023-06-02 | Shinji KONO | ... |
2023-06-02 | Shinji KONO | ... |
2023-06-02 | Shinji KONO | ... |
2023-06-01 | Shinji KONO | ZPmirror |
2023-06-01 | Shinji KONO | ... |
2023-06-01 | Shinji KONO | ZProduct with Replace sup |
2023-06-01 | Shinji KONO | it is a bad idea to use & ( * x , * x ) = osuc x |
2023-05-29 | Shinji KONO | ... |
2023-05-29 | Shinji KONO | ... |
2023-05-28 | Shinji KONO | ... |
2023-05-27 | Shinji KONO | ... |
2023-05-22 | Shinji KONO | ... |
2023-05-20 | Shinji KONO | fix Replacement |
2023-05-20 | Shinji KONO | remove import zf |
2023-05-13 | Shinji KONO | ... |
2023-04-06 | Shinji KONO | ... |
2023-04-06 | Shinji KONO | ... |
2023-04-06 | Shinji KONO | ... |
2023-04-06 | Shinji KONO | P x Q ⇆ Q x P done |
2023-04-05 | Shinji KONO | P x Q done |
2023-04-05 | Shinji KONO | ... |
2023-04-05 | Shinji KONO | ... |
2023-04-04 | Shinji KONO | OrdBijection (& (ZFP A B)) (& (ZFP B A)) |