Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Mon, 22 Aug 2022 07:39:18 +0900, by Shinji KONO
-
...Fri, 19 Aug 2022 10:08:14 +0900, by Shinji KONO
-
csupf fixFri, 19 Aug 2022 09:52:27 +0900, by Shinji KONO
-
...Fri, 19 Aug 2022 09:30:32 +0900, by Shinji KONO
-
...Thu, 18 Aug 2022 18:20:54 +0900, by Shinji KONO
-
...Thu, 18 Aug 2022 18:09:15 +0900, by Shinji KONO
-
sp1 on supf1 pxThu, 18 Aug 2022 14:11:58 +0900, by Shinji KONO