Members/kono/Proof/ZF-in-agda: revision graph

wrong cover definition
Mon, 16 Jan 2023 10:50:30 +0900, by Shinji KONO
...
Mon, 16 Jan 2023 02:22:03 +0900, by Shinji KONO
...
Sun, 15 Jan 2023 23:02:36 +0900, by Shinji KONO
...
Sun, 15 Jan 2023 19:30:21 +0900, by Shinji KONO
Topology clean up
Sun, 15 Jan 2023 09:05:22 +0900, by Shinji KONO
Maximal Filter and Ultra Filter generation done
Sat, 14 Jan 2023 12:36:07 +0900, by Shinji KONO
...
Sat, 14 Jan 2023 07:47:44 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 13:16:49 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 13:03:45 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 09:30:31 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 08:22:20 +0900, by Shinji KONO
..
Fri, 13 Jan 2023 08:00:28 +0900, by Shinji KONO
...
Fri, 13 Jan 2023 07:37:27 +0900, by Shinji KONO
...
Thu, 12 Jan 2023 20:52:47 +0900, by Shinji KONO
...
Wed, 11 Jan 2023 17:26:07 +0900, by Shinji KONO

Mercurial > hg > Members > kono > Proof > ZF-in-agda