pip: Shortlog

2016-03-21	Christian Urban	updated to Isabelle 2016	changeset \| files
2016-02-13	zhangx	Slight changes in commenting.	changeset \| files
2016-02-12	zhangx	PIPBasics.thy is tidied up now.	changeset \| files
2016-02-12	zhangx	Commenting of PIPBasics.thy almost completed. The last section needs to be distributed to Correctness.thy and Implementation.thy	changeset \| files
2016-02-09	zhangx	More refinements in PIPBasics.thy.	changeset \| files
2016-02-08	zhangx	More improvements in PIPBasics.thy and Implemenation.thy.	changeset \| files
2016-02-07	zhangx	Small improvements.	changeset \| files
2016-02-06	zhangx	More redundant lemmas are reomved.	changeset \| files
2016-02-06	zhangx	About to change the proof of waiting_unique_pre and waiting_unqie.	changeset \| files
2016-02-05	zhangx	wq_in_inv and wq_out_inv are removed, a number of loop holes need to be filled.	changeset \| files
2016-02-04	zhangx	Several redundant lemmas removed.	changeset \| files
2016-02-04	Christian Urban	updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015	changeset \| files
2016-02-03	Christian Urban	updated files	changeset \| files
2016-02-03	zhangx	Commit to revert	changeset \| files
2016-02-03	zhangx	A fake merge. Used to revert to 98	changeset \| files
2016-02-03	zhangx	PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments.	changeset \| files

pip