Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Wed, 24 Jul 2013 20:47:28 +0900 | Shinji KONO | add unitility |
Tue, 23 Jul 2013 17:34:46 +0900 | Shinji KONO | Adjoint proved. All done. |
Tue, 23 Jul 2013 16:49:12 +0900 | Shinji KONO | cleanup |