Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Wed, 15 Jul 2020 08:42:30 +0900, by Shinji KONO
-
...Tue, 14 Jul 2020 15:02:59 +0900, by Shinji KONO
-
...Tue, 14 Jul 2020 12:39:21 +0900, by Shinji KONO
-
Removed tag curretTue, 14 Jul 2020 11:19:48 +0900, by Shinji KONO
-
Added tag release for changeset 45fefbfd4871Tue, 14 Jul 2020 11:17:38 +0900, by Shinji KONO
-
Added tag current for changeset aa03b9c289c0Tue, 14 Jul 2020 11:17:34 +0900, by Shinji KONO
-
Limit OrdinalTue, 14 Jul 2020 11:17:28 +0900, by Shinji KONO