Members/kono/Proof/ZF-in-agda: revision graph

ε-induction done
Sat, 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 ε-induction
Fri, 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 ε-induction
Fri, 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 negation
Wed, 17 Jul 2019 10:52:31 +0900, by Shinji KONO
minor fix
Tue, 16 Jul 2019 09:57:01 +0900, by Shinji KONO
Union, Infinite, Axiom of Choice release
Mon, 15 Jul 2019 19:10:58 +0900, by Shinji KONO
Added tag current for changeset b06f5d2f34b1
Mon, 15 Jul 2019 19:10:08 +0900, by Shinji KONO
Axiom of choice
Mon, 15 Jul 2019 19:09:57 +0900, by Shinji KONO
ininite done
Mon, 15 Jul 2019 18:26:56 +0900, by Shinji KONO

Mercurial > hg > Members > kono > Proof > ZF-in-agda