Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
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 | ... |
2023-02-25 | Shinji KONO | ... |
2023-02-25 | Shinji KONO | not-covered |
2023-02-25 | Shinji KONO | ... |
2023-02-25 | kono | .... |
2023-02-25 | kono | ... |
2023-02-24 | kono | ... |
2023-02-24 | kono | ... |
2023-02-23 | Shinji KONO | ... |
2023-02-23 | kono | ... |
2023-02-23 | Shinji Kono | fix |
2023-02-22 | Shinji KONO | ... |
2023-02-22 | Shinji KONO | ... |
2023-02-21 | Shinji KONO | ... |
2023-02-18 | Shinji KONO | Func and Funcs |
2023-01-23 | Shinji KONO | ... |
2023-01-22 | Shinji KONO | ... |
2023-01-22 | Shinji KONO | ... |