Mercurial > hg > Members > kono > Proof > category
graph
-
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