Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
... almostWed, 01 Mar 2023 00:37:34 +0900, by Shinji KONO
-
...Tue, 28 Feb 2023 22:33:13 +0900, by Shinji KONO
-
...Tue, 28 Feb 2023 19:05:58 +0900, by Shinji KONO
-
...Tue, 28 Feb 2023 15:01:17 +0900, by Shinji KONO
-
close thisMon, 27 Feb 2023 16:42:20 +0900, by Shinji KONO
-
...Mon, 27 Feb 2023 13:13:15 +0800, by kono
-
fix FIP againMon, 27 Feb 2023 08:26:35 +0800, by kono