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

graph

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

...
Wed, 04 Sep 2019 01:12:18 +0900, by Shinji KONO
move product to OD
Fri, 30 Aug 2019 15:37:04 +0900, by Shinji KONO
orderd pair and product release
Thu, 29 Aug 2019 16:18:37 +0900, by Shinji KONO
Added tag current for changeset 2ea2a19f9cd6
Thu, 29 Aug 2019 16:17:02 +0900, by Shinji KONO

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