Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
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
-
fix pairMon, 26 Aug 2019 12:27:20 +0900, by Shinji KONO
-
...Mon, 26 Aug 2019 02:50:16 +0900, by Shinji KONO
-
new assumptionMon, 26 Aug 2019 02:34:14 +0900, by Shinji KONO
-
ProductMon, 26 Aug 2019 02:07:44 +0900, by Shinji KONO
-
...Sun, 25 Aug 2019 23:13:31 +0900, by Shinji KONO
-
...Sun, 25 Aug 2019 18:44:41 +0900, by Shinji KONO
-
...Thu, 22 Aug 2019 12:41:41 +0900, by Shinji KONO
-
fixWed, 21 Aug 2019 16:43:29 +0900, by Shinji KONO
-
...Tue, 20 Aug 2019 10:36:37 +0900, by Shinji KONO
-
ZFProductMon, 19 Aug 2019 11:39:46 +0900, by Shinji KONO
-
...Mon, 19 Aug 2019 00:37:35 +0900, by Shinji KONO
-
...Fri, 16 Aug 2019 15:53:29 +0900, by Shinji KONO
-
fix cardinalThu, 15 Aug 2019 04:51:24 +0900, by Shinji KONO
-
ac from LEM in abstract ordinalTue, 13 Aug 2019 22:21:10 +0900, by Shinji KONO
-
function continueMon, 12 Aug 2019 13:28:59 +0900, by Shinji KONO
-
axiomaized ordinals. filter and cardinal are incomplete releaseMon, 12 Aug 2019 09:04:16 +0900, by Shinji KONO
-
Added tag current for changeset 1b1620e2053cMon, 12 Aug 2019 08:59:55 +0900, by Shinji KONO
-
we need ordered pairMon, 12 Aug 2019 08:58:51 +0900, by Shinji KONO
-
...Mon, 12 Aug 2019 02:26:32 +0900, by Shinji KONO
-
try transfiniteSun, 11 Aug 2019 20:42:48 +0900, by Shinji KONO
-
...Sun, 11 Aug 2019 18:37:33 +0900, by Shinji KONO
-
set theortic function definition using supSun, 11 Aug 2019 13:05:17 +0900, by Shinji KONO
-
does not workSun, 11 Aug 2019 08:10:13 +0900, by Shinji KONO
-
recover ε-inductionSat, 10 Aug 2019 12:31:25 +0900, by Shinji KONO