Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 26 Mar 2016 15:51:30 +0900 | Shinji KONO | clean up |
Sat, 26 Mar 2016 15:47:46 +0900 | Shinji KONO | limit-to done |
Sat, 26 Mar 2016 15:09:19 +0900 | Shinji KONO | nat commute in limit-to |
Sat, 26 Mar 2016 13:50:18 +0900 | Shinji KONO | ... |
Sat, 26 Mar 2016 12:31:14 +0900 | Shinji KONO | add Nil |
Sat, 26 Mar 2016 10:16:05 +0900 | Shinji KONO | Functor MA → A |
Thu, 24 Mar 2016 14:49:49 +0900 | Shinji KONO | define MA and I |