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

minsup is not obvious in ZChain
Wed, 30 Nov 2022 20:43:01 +0900, by Shinji KONO
...
Wed, 30 Nov 2022 10:16:02 +0900, by Shinji KONO
...
Mon, 28 Nov 2022 18:53:10 +0900, by Shinji KONO
ChainP removal
Mon, 28 Nov 2022 07:13:19 +0900, by Shinji KONO
...
Sun, 27 Nov 2022 20:19:18 +0900, by Shinji KONO
...
Sat, 26 Nov 2022 16:34:38 +0900, by Shinji KONO
...
Sat, 26 Nov 2022 07:51:09 +0900, by Shinji KONO
...
Fri, 25 Nov 2022 23:39:04 +0900, by Shinji KONO
supf-< and ZChain1.order is removed
Fri, 25 Nov 2022 18:21:08 +0900, by Shinji KONO
...
Fri, 25 Nov 2022 16:57:33 +0900, by Shinji KONO
...
Fri, 25 Nov 2022 12:22:22 +0900, by Shinji KONO
...
Fri, 25 Nov 2022 10:45:05 +0900, by Shinji KONO
...
Fri, 25 Nov 2022 08:57:28 +0900, by Shinji KONO
...
Thu, 24 Nov 2022 12:30:41 +0900, by Shinji KONO

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