Members/kono/Proof/category: revision graph

graph

less more | rev 829: (0) -300 -100 -30 -10 -4 +4 +10 +30 +100 tip

fix deduction theorem
Sat, 13 Jul 2019 00:18:17 +0900, by Shinji KONO
Added tag current for changeset 054eecbb5189
Thu, 09 May 2019 08:34:52 +0900, by Shinji KONO
Added tag graph-to-ccc for changeset d1569e80fe0b
Thu, 09 May 2019 08:34:47 +0900, by Shinji KONO
fix comment graph-to-ccc
Thu, 09 May 2019 08:34:27 +0900, by Shinji KONO

less more | rev 829: (0) -300 -100 -30 -10 -4 +4 +10 +30 +100 tip