Sun, 07 Feb 2016 21:21:53 +0800 | zhangx | Small improvements. | changeset | files |
Sat, 06 Feb 2016 23:42:03 +0800 | zhangx | More redundant lemmas are reomved. | changeset | files |
Sat, 06 Feb 2016 08:35:45 +0800 | zhangx | About to change the proof of waiting_unique_pre and waiting_unqie. | changeset | files |