Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
replacement2019-06-06, by Shinji KONO
-
Added tag current for changeset b4742cf4ef972019-06-05, by Shinji KONO
-
infinity axiom done2019-06-05, by Shinji KONO
-
def ord conversion2019-06-05, by Shinji KONO
-
...2019-06-05, by Shinji KONO
-
osuc work around done2019-06-05, by Shinji KONO
-
split omax?2019-06-04, by Shinji KONO
-
internal error2019-06-04, by Shinji KONO
-
omax-induction does not work2019-06-04, by Shinji KONO
-
omax ..2019-06-04, by Shinji KONO
-
...2019-06-04, by Shinji KONO
-
Union (x , y) == (x , y ) only true on infinite case2019-06-04, by Shinji KONO
-
simpler ordinal2019-06-03, by Shinji KONO
-
remove ∅-base-def2019-06-03, by Shinji KONO