Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
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
-
...Fri, 02 Jun 2023 12:04:43 +0900, by Shinji KONO
-
ZPmirrorFri, 02 Jun 2023 08:52:13 +0900, by Shinji KONO
-
...Thu, 01 Jun 2023 22:15:17 +0900, by Shinji KONO