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

graph

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

dead end?
Sun, 07 Jul 2019 22:23:02 +0900, by Shinji KONO
...
Sun, 07 Jul 2019 17:37:26 +0900, by Shinji KONO
replace using Select
Sun, 07 Jul 2019 08:56:25 +0900, by Shinji KONO
... should use Select in Replace
Sun, 07 Jul 2019 02:19:32 +0900, by Shinji KONO
otrans in repl
Sun, 07 Jul 2019 00:51:12 +0900, by Shinji KONO
replacement in HOD
Sun, 07 Jul 2019 00:31:15 +0900, by Shinji KONO

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