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

graph

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

starting over HOD
Wed, 12 Jun 2019 10:45:00 +0900, by Shinji KONO
ZF Set Theory in Agda release
Mon, 10 Jun 2019 09:53:45 +0900, by Shinji KONO
Added tag current for changeset a402881cc341
Mon, 10 Jun 2019 09:50:52 +0900, by Shinji KONO
add comment
Mon, 10 Jun 2019 09:50:44 +0900, by Shinji KONO

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