Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
new ordinal-definableSat, 20 Jul 2019 14:05:32 +0900, by Shinji KONO
-
fix commentsSat, 20 Jul 2019 08:21:54 +0900, by Shinji KONO
-
Added tag current for changeset ecb329ba38acSat, 20 Jul 2019 08:03:54 +0900, by Shinji KONO
-
ε-induction doneSat, 20 Jul 2019 08:03:46 +0900, by Shinji KONO
-
...Fri, 19 Jul 2019 17:16:43 +0900, by Shinji KONO
-
...Fri, 19 Jul 2019 16:36:46 +0900, by Shinji KONO
-
...Fri, 19 Jul 2019 15:28:20 +0900, by Shinji KONO
-
non terminateing on ε-inductionFri, 19 Jul 2019 14:59:28 +0900, by Shinji KONO
-
...Fri, 19 Jul 2019 08:34:36 +0900, by Shinji KONO
-
...Fri, 19 Jul 2019 07:04:13 +0900, by Shinji KONO
-
trans finite on ε-inductionFri, 19 Jul 2019 05:12:08 +0900, by Shinji KONO