Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-03-17 | Shinji KONO | fix filter on subset of Power P |
2022-03-17 | Shinji KONO | ... |
2022-03-15 | Shinji KONO | ... |
2022-03-15 | Shinji KONO | P should be an order structure not Power Ser |
2022-03-14 | Shinji KONO | ... |
2022-03-14 | Shinji KONO | ... |
2022-03-14 | Shinji KONO | ... |
2022-03-13 | Shinji KONO | Generic Filter done |
2022-03-13 | Shinji KONO | ... |
2022-03-13 | Shinji KONO | ... |
2022-03-12 | Shinji KONO | ... |
2022-03-10 | Shinji KONO | close this |
2022-03-10 | Shinji KONO | generic filter does not work |
2022-03-09 | Shinji KONO | ... |
2022-03-04 | Shinji KONO | ... |
2022-03-01 | Shinji KONO | ... |
2022-03-01 | Shinji KONO | give up this generic filter definition |
2022-02-26 | Shinji KONO | ... |
2022-02-25 | Shinji KONO | ⊆-reduction |
2022-02-22 | Shinji KONO | val |
2022-02-22 | Shinji KONO | ... |
2022-02-20 | Shinji KONO | fi;ter1 |
2022-02-18 | Shinji KONO | generic filter |
2021-09-03 | Shinji KONO | separate PFOD |