PIPBasics.thy
2016-03-21 Christian Urban added ? to PIPBasics
2016-03-21 Christian Urban updated to Isabelle 2016
2016-03-21 Christian Urban updated partially
2016-02-13 zhangx Slight changes in commenting.
2016-02-12 zhangx PIPBasics.thy is tidied up now.
2016-02-12 zhangx Commenting of PIPBasics.thy almost completed. The last section needs to be distributed to Correctness.thy and Implementation.thy
2016-02-09 zhangx More refinements in PIPBasics.thy.
2016-02-08 zhangx More improvements in PIPBasics.thy and Implemenation.thy.
2016-02-07 zhangx Small improvements.
2016-02-06 zhangx More redundant lemmas are reomved.
2016-02-06 zhangx About to change the proof of waiting_unique_pre and waiting_unqie.
2016-02-05 zhangx wq_in_inv and wq_out_inv are removed, a number of loop holes need to be filled.
2016-02-04 zhangx Several redundant lemmas removed.
2016-02-04 Christian Urban updated Correctness, Implementation and PIPBasics so that they work with Isabelle 2014 and 2015
2016-02-03 Christian Urban updated files
2016-02-03 zhangx A fake merge. Used to revert to 98
2016-02-03 zhangx PIPBasics.thy reorganized into sections. The structure is now stable. Next step is to put in more comments.
2016-02-03 zhangx Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.
2016-02-03 zhangx Reorganzing PIPBasics.thy intro sections.
2016-02-01 zhangx Reorganizing PIPBasics.thy
2016-01-31 zhangx Small improvemnts in PIPBasis.thy
2016-01-29 Christian Urban merged
2016-01-28 Christian Urban changes to my repository
2016-01-29 zhangx The overwriten original .thy files are working now. The ones in last revision aren't.
2016-01-29 zhangx Original files overwrite by their parallels (Correctness.thy v.s. PrioG.thy, PIPBasics.thy v.s. CpsG.thy, Implementation v.s. ExtGG.thy).
2016-01-28 zhangx Retrofiting of:
2016-01-27 zhangx The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in
2016-01-27 zhangx CpsG.thy retrofiting almost completed. An important mile stone.
2016-01-16 zhangx CpsG.thy updated. It is a copy of PIPBasics.thy under drastic improvement.
2016-01-13 Christian Urban simplified Moment.thy
less more (0) -30 tip