Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Sun, 21 Jul 2019 12:09:50 +0900, by Shinji KONO
-
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
-
...Fri, 19 Jul 2019 03:27:58 +0900, by Shinji KONO
-
...Thu, 18 Jul 2019 16:06:41 +0900, by Shinji KONO
-
use double negationWed, 17 Jul 2019 10:52:31 +0900, by Shinji KONO
-
minor fixTue, 16 Jul 2019 09:57:01 +0900, by Shinji KONO
-
Added tag current for changeset b06f5d2f34b1Mon, 15 Jul 2019 19:10:08 +0900, by Shinji KONO
-
Axiom of choiceMon, 15 Jul 2019 19:09:57 +0900, by Shinji KONO
-
ininite doneMon, 15 Jul 2019 18:26:56 +0900, by Shinji KONO
-
...Mon, 15 Jul 2019 15:54:59 +0900, by Shinji KONO
-
infinite continue...Mon, 15 Jul 2019 09:31:32 +0900, by Shinji KONO
-
Union trans finiteSun, 14 Jul 2019 17:26:57 +0900, by Shinji KONO
-
explict logical definition of Union failedSun, 14 Jul 2019 08:04:16 +0900, by Shinji KONO
-
differeent Union approachThu, 11 Jul 2019 20:00:30 +0900, by Shinji KONO
-
union continueThu, 11 Jul 2019 07:32:28 +0900, by Shinji KONO
-
union trying ..Wed, 10 Jul 2019 11:50:26 +0900, by Shinji KONO
-
union continue ...Wed, 10 Jul 2019 06:52:00 +0900, by Shinji KONO
-
power setTue, 09 Jul 2019 17:46:45 +0900, by Shinji KONO