Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Mon, 10 Oct 2022 18:25:04 +0900, by Shinji KONO
-
union equal passedMon, 10 Oct 2022 12:20:38 +0900, by Shinji KONO
-
...Mon, 10 Oct 2022 09:33:54 +0900, by Shinji KONO
-
...Sun, 09 Oct 2022 21:51:23 +0900, by Shinji KONO
-
...Sun, 09 Oct 2022 19:30:41 +0900, by Shinji KONO
-
...Sun, 09 Oct 2022 17:58:41 +0900, by Shinji KONO
-
roll back to u<xFri, 07 Oct 2022 17:13:41 +0900, by Shinji KONO
-
UChain u<x to u≤x againFri, 07 Oct 2022 08:28:49 +0900, by Shinji KONO