Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
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