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