Correctness.thy
2016-02-12 zhangx PIPBasics.thy is tidied up now.
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 Reorganizing PIPBasics.thy and making small changes to Implementation.thy and Correctness.thy.
2016-01-29 Christian Urban merged
less more (0) -10 -7 tip