Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Mon, 20 Jul 2020 16:28:12 +0900, by Shinji KONO
-
Select : (X : HOD ) → ((x : HOD ) → X ∋ x → Set n ) → HOD does not workMon, 20 Jul 2020 16:22:44 +0900, by Shinji KONO
-
...Mon, 20 Jul 2020 12:17:43 +0900, by Shinji KONO
-
...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