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

graph

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

Removed tag curret
Tue, 14 Jul 2020 11:19:48 +0900, by Shinji KONO
Added tag release for changeset 45fefbfd4871
Tue, 14 Jul 2020 11:17:38 +0900, by Shinji KONO
Added tag current for changeset aa03b9c289c0
Tue, 14 Jul 2020 11:17:34 +0900, by Shinji KONO
Limit Ordinal
Tue, 14 Jul 2020 11:17:28 +0900, by Shinji KONO

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