Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-04-11 | Shinji KONO | other strategy |
2022-04-09 | Shinji KONO | total of B |
2022-04-09 | Shinji KONO | ... |
2022-04-08 | Shinji KONO | ... |
2022-04-08 | Shinji KONO | ... |
2022-04-08 | Shinji KONO | Partial Order |
2022-04-08 | Shinji KONO | ... |
2022-04-08 | Shinji KONO | IsPartialOrder |
2022-04-08 | Shinji KONO | ... |
2022-04-08 | Shinji KONO | ... |
2022-04-07 | Shinji KONO | ... |
2022-04-07 | Shinji KONO | ... |
2022-04-07 | Shinji KONO | ... |
2022-04-06 | Shinji KONO | ... |
2022-04-06 | Shinji KONO | zorn again |
2022-04-05 | Shinji KONO | ... |
2022-04-03 | Shinji KONO | ... |
2022-04-03 | Shinji KONO | ... |
2022-04-03 | Shinji KONO | ... |
2022-04-02 | Shinji KONO | ... |
2022-04-01 | Shinji KONO | separate zorn lemma |
2022-04-01 | Shinji KONO | ... |
2022-04-01 | Shinji KONO | ... |
2022-03-31 | Shinji KONO | ... |
2022-03-30 | Shinji KONO | ... |
2022-03-29 | Shinji KONO | ... |
2022-03-28 | Shinji KONO | ... |
2022-03-27 | Shinji KONO | ... |
2022-03-23 | Shinji KONO | ... |
2022-03-23 | Shinji KONO | ... |
2022-03-23 | Shinji KONO | ... |
2022-03-22 | Shinji KONO | ... |
2022-03-22 | Shinji KONO | ... |
2022-03-21 | Shinji KONO | Zorn lemma start |
2022-03-20 | Shinji KONO | generic filter done |
2022-03-20 | Shinji KONO | ... |
2022-03-20 | Shinji KONO | ... |
2022-03-19 | Shinji KONO | ... |
2022-03-18 | Shinji KONO | ... |
2022-03-18 | Shinji KONO | ... |
2022-03-17 | Shinji KONO | ... |
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 |
2020-12-21 | Shinji KONO | Added tag current for changeset a5f8084b8368 |
2020-12-21 | Shinji KONO | reorganiztion for apkg |
2020-12-20 | Shinji KONO | ... |
2020-12-19 | Shinji KONO | ... |
2020-12-19 | Shinji KONO | add Topology |
2020-08-08 | Shinji KONO | ... |
2020-08-06 | Shinji KONO | ... |
2020-08-05 | Shinji KONO | ... |
2020-08-01 | Shinji KONO | remvoe TransFinifte1 |
2020-08-01 | Shinji KONO | ... |
2020-08-01 | Shinji KONO | syntax *, &, ⟪ , ⟫ |
2020-07-31 | Shinji KONO | ... |
2020-07-31 | Shinji KONO | bijection |
2020-07-31 | Shinji KONO | ... |
2020-07-31 | Shinji KONO | ... |
2020-07-31 | Shinji KONO | ... |
2020-07-30 | Shinji KONO | ... |
2020-07-30 | Shinji KONO | ... |
2020-07-30 | Shinji KONO | add VL |
2020-07-29 | Shinji KONO | generic filter on going |
2020-07-29 | Shinji KONO | ... |
2020-07-29 | Shinji KONO | ... |
2020-07-29 | Shinji KONO | ... |
2020-07-28 | Shinji KONO | nat→ω-iso |
2020-07-28 | Shinji KONO | ... |
2020-07-28 | Shinji KONO | ... |
2020-07-28 | Shinji KONO | ... |
2020-07-28 | Shinji KONO | ... |
2020-07-28 | Shinji KONO | ... |
2020-07-28 | Shinji KONO | ... |
2020-07-28 | Shinji KONO | ... |
2020-07-28 | Shinji KONO | ... |
2020-07-27 | Shinji KONO | use induction |
2020-07-27 | Shinji KONO | ... |
2020-07-27 | Shinji KONO | ... |
2020-07-27 | Shinji KONO | ... |
2020-07-27 | Shinji KONO | ... |
2020-07-27 | Shinji KONO | ... |
2020-07-26 | Shinji KONO | ... |
2020-07-26 | Shinji KONO | ... |
2020-07-25 | Shinji KONO | ... |
2020-07-25 | Shinji KONO | generic filter defined |
2020-07-25 | Shinji KONO | generic filter |
2020-07-25 | Shinji KONO | ... |
2020-07-25 | Shinji KONO | ... |
2020-07-25 | Shinji KONO | ... |
2020-07-23 | Shinji KONO | ... |
2020-07-21 | Shinji KONO | ... |
2020-07-21 | Shinji KONO | Three List / Filter |
2020-07-21 | Shinji KONO | ... |
2020-07-21 | Shinji KONO | ... |
2020-07-21 | Shinji KONO | ... |
2020-07-20 | Shinji KONO | ... |
2020-07-20 | Shinji KONO | ... |
2020-07-20 | Shinji KONO | ... |