Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
generic filter doneSun, 20 Mar 2022 17:03:08 +0900, by Shinji KONO
-
...Sun, 20 Mar 2022 16:29:03 +0900, by Shinji KONO
-
...Sun, 20 Mar 2022 11:41:48 +0900, by Shinji KONO
-
...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