Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Sat, 03 Jun 2023 17:31:28 +0900 | Shinji KONO | Added tag current for changeset 2c34f2b554cf |
| Sat, 03 Jun 2023 17:31:17 +0900 | Shinji KONO | Replace and filter projection fix done current |
| Sat, 03 Jun 2023 08:13:50 +0900 | Shinji KONO | ... |
| Fri, 02 Jun 2023 12:12:29 +0900 | Shinji KONO | ... |
| Fri, 02 Jun 2023 12:04:43 +0900 | Shinji KONO | ... |
| Fri, 02 Jun 2023 08:52:13 +0900 | Shinji KONO | ZPmirror |
| Thu, 01 Jun 2023 22:15:17 +0900 | Shinji KONO | ... |