Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
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)) |
2023-04-03 | Shinji KONO | ... |
2023-04-02 | Shinji KONO | ... |
2023-03-29 | Shinji KONO | ... |
2023-03-26 | Shinji KONO | ... |
2023-03-26 | Shinji KONO | ... |
2023-03-23 | Shinji KONO | ... |
2023-03-22 | Shinji KONO | ... |
2023-03-21 | Shinji KONO | ... |
2023-03-21 | Shinji KONO | ... |
2023-03-19 | Shinji KONO | ... |
2023-03-19 | Shinji KONO | generic filter done |
2023-03-19 | Shinji KONO | ... |
2023-03-19 | Shinji KONO | ... |
2023-03-18 | Shinji KONO | lemma232 (Generic filter is not an element of M) |
2023-03-18 | Shinji KONO | generic filter modification |
2023-03-17 | Shinji KONO | ... filter definition |
2023-03-16 | Shinji KONO | .... |
2023-03-16 | Shinji KONO | ... |
2023-03-16 | Shinji KONO | change to Ideal |
2023-03-16 | Shinji KONO | ... |
2023-03-16 | Shinji KONO | ... |
2023-03-15 | Shinji KONO | ... |
2023-03-15 | Shinji KONO | generic filter done |
2023-03-15 | Shinji KONO | ... |
2023-03-15 | Shinji KONO | ... |
2023-03-15 | Shinji KONO | ... |
2023-03-15 | Shinji KONO | ... |
2023-03-14 | Shinji KONO | ... |
2023-03-14 | Shinji KONO | ... |
2023-03-14 | Shinji KONO | dense done |
2023-03-14 | Shinji KONO | f1 f2 done |
2023-03-13 | Shinji KONO | ... |
2023-03-13 | Shinji KONO | ... |