Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 05 Mar 2016 08:23:46 +0900 | Shinji KONO | Γ : Functor A A |
Sat, 05 Mar 2016 07:20:03 +0900 | Shinji KONO | two cat |
Fri, 26 Jun 2015 19:38:57 +0900 | Shinji KONO | member |
Fri, 26 Jun 2015 19:18:57 +0900 | Shinji KONO | fix |
Fri, 26 Jun 2015 19:03:54 +0900 | Shinji KONO | arrow |
Fri, 26 Jun 2015 17:56:22 +0900 | Shinji KONO | nat equalit |
Wed, 13 May 2015 13:28:16 +0900 | Shinji KONO | fix |
Tue, 12 May 2015 11:17:38 +0900 | Shinji KONO | fix |