Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Mon, 21 Dec 2020 10:24:10 +0900 | Shinji KONO | Added tag current for changeset a5f8084b8368 |
| Mon, 21 Dec 2020 10:23:37 +0900 | Shinji KONO | reorganiztion for apkg |
| Sun, 20 Dec 2020 12:37:07 +0900 | Shinji KONO | ... |
| Sat, 19 Dec 2020 21:58:32 +0900 | Shinji KONO | ... |
| Sat, 19 Dec 2020 21:43:21 +0900 | Shinji KONO | add Topology |
| Sat, 08 Aug 2020 18:14:14 +0900 | Shinji KONO | ... |
| Thu, 06 Aug 2020 11:50:35 +0900 | Shinji KONO | ... |
| Wed, 05 Aug 2020 19:37:07 +0900 | Shinji KONO | ... |