Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Sat, 19 Mar 2022 12:16:48 +0900, by Shinji KONO
-
...Fri, 18 Mar 2022 23:45:23 +0900, by Shinji KONO
-
...Fri, 18 Mar 2022 20:36:42 +0900, by Shinji KONO
-
...Thu, 17 Mar 2022 16:40:54 +0900, by Shinji KONO
-
fix filter on subset of Power PThu, 17 Mar 2022 15:36:24 +0900, by Shinji KONO
-
...Thu, 17 Mar 2022 14:04:25 +0900, by Shinji KONO
-
...Tue, 15 Mar 2022 15:46:39 +0900, by Shinji KONO