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

graph

less more | rev 141: (0) -100 -12 +12 +100 +300 +1000 tip

fix or
2019-07-07, by Shinji KONO
remove otrans again. start over
2019-07-07, by Shinji KONO
dead end?
2019-07-07, by Shinji KONO
...
2019-07-07, by Shinji KONO
replace using Select
2019-07-06, by Shinji KONO
... should use Select in Replace
2019-07-06, by Shinji KONO
otrans in repl
2019-07-06, by Shinji KONO
replacement in HOD
2019-07-06, by Shinji KONO
replacement in ordinal-definable
2019-07-06, by Shinji KONO
use OD for replace condition
2019-07-06, by Shinji KONO
...
2019-07-02, by Shinji KONO
new replacement axiom
2019-07-02, by Shinji KONO

less more | rev 141: (0) -100 -12 +12 +100 +300 +1000 tip