Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
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 | ... |
2023-03-12 | Shinji KONO | ... |
2023-03-12 | Shinji KONO | ... |
2023-03-12 | Shinji KONO | ... |
2023-03-09 | Shinji KONO | Added tag current for changeset 54a63423f128 |
2023-03-09 | Shinji KONO | ... |
2023-03-08 | Shinji KONO | Tyconoff done |
2023-03-08 | Shinji KONO | almost done |
2023-03-08 | Shinji KONO | ... |
2023-03-08 | Shinji KONO | ... |
2023-03-08 | Shinji KONO | ... |
2023-03-08 | Shinji KONO | ... |
2023-03-08 | Shinji KONO | ... |
2023-03-08 | Shinji KONO | ... |
2023-03-08 | Shinji KONO | last part of Tychonoff |
2023-03-07 | Shinji KONO | ... |
2023-03-07 | Shinji KONO | proj2 filter F done |
2023-03-07 | Shinji KONO | Proj2 of F |
2023-03-07 | kono | ... |
2023-03-07 | kono | ... |
2023-03-07 | kono | Proj P of Filter F done |
2023-03-06 | Shinji KONO | ... |
2023-03-06 | Shinji KONO | ZFP distr |
2023-03-06 | Shinji KONO | ZProduct |
2023-03-06 | Shinji KONO | brain damaged fix |
2023-03-05 | Shinji KONO | ... |
2023-03-05 | Shinji KONO | ... |
2023-03-05 | Shinji KONO | ... |
2023-03-05 | Shinji KONO | ... |
2023-03-05 | Shinji KONO | ... |
2023-03-04 | Shinji KONO | Added tag current for changeset f17d060e0bda |
2023-03-04 | Shinji KONO | UFLP→FIP FIP→UFLP with Zorn done |
2023-03-04 | Shinji KONO | ... |
2023-03-03 | Shinji KONO | ... |
2023-03-03 | Shinji KONO | ... |
2023-03-03 | Shinji KONO | UFLP→FIP done |
2023-03-03 | kono | ... |
2023-03-03 | kono | ... |
2023-03-03 | kono | ... |
2023-03-02 | Shinji KONO | ... |
2023-03-02 | kono | ... |
2023-03-02 | kono | ... |
2023-03-01 | Shinji KONO | fix README |
2023-03-01 | Shinji KONO | clean up |
2023-03-01 | Shinji KONO | fip <-> compact done |
2023-02-28 | Shinji KONO | ... almost |
2023-02-28 | Shinji KONO | ... |
2023-02-28 | Shinji KONO | ... |
2023-02-28 | Shinji KONO | ... |
2023-02-27 | Shinji KONO | close this |
2023-02-27 | kono | ... |
2023-02-27 | kono | fix FIP again |
2023-02-26 | kono | ... |
2023-02-26 | Shinji KONO | ... |
2023-02-26 | Shinji KONO | ... |