Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Sun, 05 Mar 2023 12:16:07 +0900, by Shinji KONO
-
Added tag current for changeset f17d060e0bdaSat, 04 Mar 2023 11:39:52 +0900, by Shinji KONO
-
UFLP→FIP FIP→UFLP with Zorn doneSat, 04 Mar 2023 11:39:46 +0900, by Shinji KONO
-
...Sat, 04 Mar 2023 10:26:35 +0900, by Shinji KONO
-
...Fri, 03 Mar 2023 21:31:12 +0900, by Shinji KONO
-
...Fri, 03 Mar 2023 19:44:29 +0900, by Shinji KONO
-
UFLP→FIP doneFri, 03 Mar 2023 16:33:56 +0900, by Shinji KONO