Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Mon, 30 Sep 2019 21:22:07 +0900, by Shinji KONO
-
⊆Mon, 30 Sep 2019 20:59:45 +0900, by Shinji KONO
-
...Mon, 30 Sep 2019 17:07:40 +0900, by Shinji KONO
-
filterMon, 30 Sep 2019 16:34:15 +0900, by Shinji KONO
-
...Mon, 23 Sep 2019 10:43:48 +0900, by Shinji KONO
-
...Mon, 23 Sep 2019 09:16:39 +0900, by Shinji KONO
-
CH trying ...Sun, 22 Sep 2019 20:26:32 +0900, by Shinji KONO
-
ε-induction from TransFinite inductionTue, 17 Sep 2019 09:29:27 +0900, by Shinji KONO
-
sup with limit give upThu, 05 Sep 2019 10:58:06 +0900, by Shinji KONO
-
...Thu, 05 Sep 2019 01:28:52 +0900, by Shinji KONO
-
...Wed, 04 Sep 2019 01:12:18 +0900, by Shinji KONO
-
move product to ODFri, 30 Aug 2019 15:37:04 +0900, by Shinji KONO
-
Added tag current for changeset 2ea2a19f9cd6Thu, 29 Aug 2019 16:17:02 +0900, by Shinji KONO
-
ordered pair clean upThu, 29 Aug 2019 16:16:51 +0900, by Shinji KONO