Sun, 07 Feb 2016 21:21:53 +0800 zhangx Small improvements.
Sat, 06 Feb 2016 23:42:03 +0800 zhangx More redundant lemmas are reomved.
Sat, 06 Feb 2016 08:35:45 +0800 zhangx About to change the proof of waiting_unique_pre and waiting_unqie.
(0) -100 -30 -10 -3 +3 +10 +30 tip