Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Sun, 12 Mar 2023 13:02:09 +0900 | Shinji KONO | ... |
| Sun, 12 Mar 2023 11:58:55 +0900 | Shinji KONO | ... |
| Thu, 09 Mar 2023 12:31:32 +0900 | Shinji KONO | Added tag current for changeset 54a63423f128 |
| Thu, 09 Mar 2023 10:37:09 +0900 | Shinji KONO | ... |
| Thu, 09 Mar 2023 02:57:16 +0900 | Shinji KONO | Tyconoff done |
| Thu, 09 Mar 2023 02:31:41 +0900 | Shinji KONO | almost done |
| Wed, 08 Mar 2023 21:26:40 +0900 | Shinji KONO | ... |
| Wed, 08 Mar 2023 19:52:41 +0900 | Shinji KONO | ... |