Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
seperate choice from LEMSat, 09 May 2020 09:38:21 +0900, by Shinji KONO
-
separate choiceSat, 09 May 2020 09:02:52 +0900, by Shinji KONO
-
Added tag current for changeset 29a85a427ed2Sat, 25 Apr 2020 15:09:17 +0900, by Shinji KONO
-
ε-inductionSat, 25 Apr 2020 15:09:07 +0900, by Shinji KONO
-
add documentsSat, 11 Jan 2020 20:11:51 +0900, by Shinji KONO
-
separate ordered pair and Boolean AlgebraTue, 31 Dec 2019 11:22:52 +0900, by Shinji KONO
-
fix inclMon, 30 Dec 2019 23:45:59 +0900, by Shinji KONO
-
...Mon, 07 Oct 2019 01:28:11 +0900, by Shinji KONO
-
disjunction and conjunctionSun, 06 Oct 2019 16:42:42 +0900, by Shinji KONO
-
...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
-
proudct uniquness doneThu, 29 Aug 2019 16:08:46 +0900, by Shinji KONO
-
give up product uniqunessThu, 29 Aug 2019 03:03:04 +0900, by Shinji KONO
-
...Thu, 29 Aug 2019 01:04:52 +0900, by Shinji KONO
-
...Wed, 28 Aug 2019 23:52:54 +0900, by Shinji KONO
-
...Wed, 28 Aug 2019 20:32:35 +0900, by Shinji KONO
-
prod-eq doneTue, 27 Aug 2019 14:13:27 +0900, by Shinji KONO