Mercurial > hg > Members > kono > Proof > ZF-in-agda
log src/nat.agda @ 1311:0d2f3a042fa9
| age | author | description |
|---|---|---|
| Fri, 09 Jun 2023 11:26:36 +0900 | Shinji KONO | ... |
| Fri, 09 Jun 2023 07:42:31 +0900 | Shinji KONO | ... |
| Tue, 21 Mar 2023 20:28:56 +0900 | Shinji KONO | ... |
| Tue, 21 Mar 2023 11:19:15 +0900 | Shinji KONO | ... |
| Sun, 13 Mar 2022 19:03:33 +0900 | Shinji KONO | ... |
| Sun, 13 Mar 2022 08:05:15 +0900 | Shinji KONO | ... |
| Mon, 21 Dec 2020 10:23:37 +0900 | Shinji KONO | reorganiztion for apkg |