Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
generic filter definedSat, 25 Jul 2020 16:45:22 +0900, by Shinji KONO
-
generic filterSat, 25 Jul 2020 13:33:53 +0900, by Shinji KONO
-
...Sat, 25 Jul 2020 13:12:29 +0900, by Shinji KONO