Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
OD clean upThu, 22 Dec 2022 15:10:31 +0900, by Shinji KONO
-
this is no goodWed, 21 Dec 2022 19:38:26 +0900, by Shinji KONO
-
...Wed, 21 Dec 2022 08:39:39 +0900, by Shinji KONO