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

graph

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

function continue
Mon, 12 Aug 2019 13:28:59 +0900, by Shinji KONO
axiomaized ordinals. filter and cardinal are incomplete release
Mon, 12 Aug 2019 09:04:16 +0900, by Shinji KONO
Added tag current for changeset 1b1620e2053c
Mon, 12 Aug 2019 08:59:55 +0900, by Shinji KONO

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