Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Tue, 13 Aug 2013 12:47:37 +0900 | Shinji KONO | η and μ defined. |
Tue, 13 Aug 2013 11:48:45 +0900 | Shinji KONO | T as Sets -> Sets |
Tue, 13 Aug 2013 11:42:09 +0900 | Shinji KONO | dead end? |
Tue, 13 Aug 2013 10:57:41 +0900 | Shinji KONO | on ogoing... |
Sun, 11 Aug 2013 16:56:17 +0900 | Shinji KONO | on going... |
Sun, 11 Aug 2013 16:35:15 +0900 | Shinji KONO | M x A done |