Mercurial > hg > Members > kono > Proof > category
graph
-
add categoryThu, 02 Apr 2020 08:43:50 +0900, by Shinji KONO
-
concat definedThu, 02 Apr 2020 08:16:17 +0900, by Shinji KONO
-
...Thu, 26 Mar 2020 17:58:51 +0900, by Shinji KONO
-
...Thu, 26 Mar 2020 16:44:06 +0900, by Shinji KONO
-
...Thu, 26 Mar 2020 09:30:45 +0900, by Shinji KONO
-
...Thu, 26 Mar 2020 04:51:54 +0900, by Shinji KONO
-
separeteThu, 26 Mar 2020 02:44:48 +0900, by Shinji KONO
-
fixMon, 23 Mar 2020 02:42:41 +0900, by Shinji KONO
-
graph to CCC againSun, 15 Mar 2020 14:26:39 +0900, by Shinji KONO
-
fix deduction theoremSat, 13 Jul 2019 00:18:17 +0900, by Shinji KONO
-
Added tag current for changeset 054eecbb5189Thu, 09 May 2019 08:34:52 +0900, by Shinji KONO
-
Added tag graph-to-ccc for changeset d1569e80fe0bThu, 09 May 2019 08:34:47 +0900, by Shinji KONO