Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Wed, 07 Jun 2023 09:42:58 +0900, by Shinji KONO
-
...Mon, 05 Jun 2023 14:50:02 +0900, by Shinji KONO
-
fix PFODMon, 05 Jun 2023 11:33:27 +0900, by Shinji KONO
-
remove nextSun, 04 Jun 2023 16:58:39 +0900, by Shinji KONO
-
Added tag current for changeset 2c34f2b554cfSat, 03 Jun 2023 17:31:28 +0900, by Shinji KONO
-
...Sat, 03 Jun 2023 08:13:50 +0900, by Shinji KONO
-
...Fri, 02 Jun 2023 12:12:29 +0900, by Shinji KONO