Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
add documentsSat, 11 Jan 2020 20:11:51 +0900, by Shinji KONO
-
separate ordered pair and Boolean AlgebraTue, 31 Dec 2019 11:22:52 +0900, by Shinji KONO
-
fix inclMon, 30 Dec 2019 23:45:59 +0900, by Shinji KONO
-
...Mon, 07 Oct 2019 01:28:11 +0900, by Shinji KONO
-
disjunction and conjunctionSun, 06 Oct 2019 16:42:42 +0900, by Shinji KONO
-
...Mon, 30 Sep 2019 21:22:07 +0900, by Shinji KONO
-
⊆Mon, 30 Sep 2019 20:59:45 +0900, by Shinji KONO
-
...Mon, 30 Sep 2019 17:07:40 +0900, by Shinji KONO