Members/kono/Proof/ZF-in-agda: revision graph

graph

less more | rev 166: (0) -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip

use double negation
Wed, 17 Jul 2019 10:52:31 +0900, by Shinji KONO
minor fix
Tue, 16 Jul 2019 09:57:01 +0900, by Shinji KONO
Union, Infinite, Axiom of Choice release
Mon, 15 Jul 2019 19:10:58 +0900, by Shinji KONO
Added tag current for changeset b06f5d2f34b1
Mon, 15 Jul 2019 19:10:08 +0900, by Shinji KONO

less more | rev 166: (0) -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip