Implementation.thy
2017-07-18 Christian Urban updated
2017-07-07 Christian Urban updated
2017-06-29 Christian Urban updated
2017-06-27 Christian Urban updated
2017-06-22 Christian Urban updated
2016-08-16 Christian Urban updated tG definition
2016-07-08 Christian Urban updated
2016-06-17 Christian Urban updated
2016-06-09 Christian Urban updated
2016-03-21 Christian Urban all updated to Isabelle 2016
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-08 zhangx More improvements in PIPBasics.thy and Implemenation.thy.
2016-02-04 zhangx Several redundant lemmas removed.
less more (0) -15 tip