Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 05 Mar 2016 16:08:32 +0900 | Shinji KONO | limit-to dead end... |
Sat, 05 Mar 2016 14:52:49 +0900 | Shinji KONO | ... |
Sat, 05 Mar 2016 13:20:36 +0900 | Shinji KONO | ... |
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 |