Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Sun, 19 Jul 2020 19:57:59 +0900, by Shinji KONO
-
...Sun, 19 Jul 2020 19:14:12 +0900, by Shinji KONO
-
...Sun, 19 Jul 2020 16:19:24 +0900, by Shinji KONO
-
...Sun, 19 Jul 2020 12:26:17 +0900, by Shinji KONO
-
fix Select and ReplaceSun, 19 Jul 2020 10:02:43 +0900, by Shinji KONO
-
...Sun, 19 Jul 2020 03:24:39 +0900, by Shinji KONO
-
...Sun, 19 Jul 2020 00:26:55 +0900, by Shinji KONO