Mercurial > hg > Members > kono > Proof > category
graph
-
o-resp passedThu, 24 Mar 2016 13:11:50 +0900, by Shinji KONO
-
fix free-monoidThu, 24 Mar 2016 12:07:32 +0900, by Shinji KONO
-
refl in free-monoid troubleThu, 24 Mar 2016 11:31:14 +0900, by Shinji KONO