Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Thu, 18 Jul 2019 16:06:41 +0900, by Shinji KONO
-
use double negationWed, 17 Jul 2019 10:52:31 +0900, by Shinji KONO
-
minor fixTue, 16 Jul 2019 09:57:01 +0900, by Shinji KONO
-
Added tag current for changeset b06f5d2f34b1Mon, 15 Jul 2019 19:10:08 +0900, by Shinji KONO
-
Axiom of choiceMon, 15 Jul 2019 19:09:57 +0900, by Shinji KONO
-
ininite doneMon, 15 Jul 2019 18:26:56 +0900, by Shinji KONO