Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Tue, 30 Jun 2020 08:55:12 +0900 | Shinji KONO | ... |
Tue, 30 Jun 2020 00:17:05 +0900 | Shinji KONO | ... |
Tue, 30 Jun 2020 00:05:16 +0900 | Shinji KONO | ... |
Mon, 29 Jun 2020 23:09:14 +0900 | Shinji KONO | ... |
Mon, 29 Jun 2020 20:33:19 +0900 | Shinji KONO | fix sup |
Mon, 29 Jun 2020 18:37:31 +0900 | Shinji KONO | ... |
Mon, 29 Jun 2020 18:31:56 +0900 | Shinji KONO | HOD using <maxod |