Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2020-07-19 | Shinji KONO | ... |
2020-07-19 | Shinji KONO | fix Select and Replace |
2020-07-18 | Shinji KONO | ... |
2020-07-18 | Shinji KONO | ... |
2020-07-18 | Shinji KONO | ... |
2020-07-18 | Shinji KONO | ... |
2020-07-18 | Shinji KONO | ... |
Loading... |