Tue, 21 May 2013 08:01:33 +0800 fix bugs and proofs
chunhan [Tue, 21 May 2013 08:01:33 +0800] rev 10
fix bugs and proofs
(0) -1 +1 +10 +30 tip