Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Tue, 13 Aug 2013 12:55:08 +0900 | Shinji KONO | fix |
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 |