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 |