Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...2019-07-21, by Shinji KONO
-
new ordinal-definable2019-07-20, by Shinji KONO
-
fix comments2019-07-19, by Shinji KONO
-
Added tag current for changeset ecb329ba38ac2019-07-19, by Shinji KONO
-
ε-induction done2019-07-19, by Shinji KONO
-
...2019-07-19, by Shinji KONO
-
...2019-07-19, by Shinji KONO
-
...2019-07-19, by Shinji KONO
-
non terminateing on ε-induction2019-07-19, by Shinji KONO
-
...2019-07-18, by Shinji KONO
-
...2019-07-18, by Shinji KONO
-
trans finite on ε-induction2019-07-18, by Shinji KONO
-
...2019-07-18, by Shinji KONO
-
...2019-07-18, by Shinji KONO
-
use double negation2019-07-17, by Shinji KONO
-
minor fix2019-07-16, by Shinji KONO
-
Added tag current for changeset b06f5d2f34b12019-07-15, by Shinji KONO
-
Axiom of choice2019-07-15, by Shinji KONO
-
ininite done2019-07-15, by Shinji KONO
-
...2019-07-15, by Shinji KONO
-
infinite continue...2019-07-15, by Shinji KONO
-
Union trans finite2019-07-14, by Shinji KONO
-
explict logical definition of Union failed2019-07-13, by Shinji KONO
-
differeent Union approach2019-07-11, by Shinji KONO
-
union continue2019-07-10, by Shinji KONO
-
union trying ..2019-07-10, by Shinji KONO
-
union continue ...2019-07-09, by Shinji KONO
-
power set2019-07-09, by Shinji KONO
-
recovering...2019-07-09, by Shinji KONO
-
fix some2019-07-08, by Shinji KONO
-
only ordinal-definable.agda is finished. it assmues all ZF Set are Ordinals. release2019-07-08, by Shinji KONO
-
give up2019-07-08, by Shinji KONO
-
...2019-07-08, by Shinji KONO
-
ord-Ord causes od→ord x o< od→ord y → y ∋ x,2019-07-08, by Shinji KONO
-
all done but ...2019-07-08, by Shinji KONO
-
Union again2019-07-08, by Shinji KONO
-
union remains2019-07-08, by Shinji KONO
-
Power Set2019-07-08, by Shinji KONO
-
fix or2019-07-07, by Shinji KONO
-
remove otrans again. start over2019-07-07, by Shinji KONO
-
dead end?2019-07-07, by Shinji KONO
-
...2019-07-07, by Shinji KONO
-
replace using Select2019-07-06, by Shinji KONO
-
... should use Select in Replace2019-07-06, by Shinji KONO
-
otrans in repl2019-07-06, by Shinji KONO
-
replacement in HOD2019-07-06, by Shinji KONO
-
replacement in ordinal-definable2019-07-06, by Shinji KONO
-
use OD for replace condition2019-07-06, by Shinji KONO
-
...2019-07-02, by Shinji KONO
-
new replacement axiom2019-07-02, by Shinji KONO
-
ord power set2019-07-02, by Shinji KONO
-
... dead end?2019-07-01, by Shinji KONO
-
...2019-07-01, by Shinji KONO
-
power set2019-06-30, by Shinji KONO
-
...2019-06-30, by Shinji KONO
-
record L2019-06-30, by Shinji KONO
-
...2019-06-30, by Shinji KONO
-
...2019-06-30, by Shinji KONO