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