pip: Changelog

zhangx [Thu, 28 Jan 2016 15:36:48 +0800] rev 87

Tracking ExtGG.thy etc., so that a update to 83 is possible.

zhangx [Thu, 28 Jan 2016 07:46:05 +0800] rev 86

Added PrioG.thy again

zhangx [Thu, 28 Jan 2016 07:43:05 +0800] rev 85

Added PrioG.thy as a parallel copy of Correctness.thy

zhangx [Wed, 27 Jan 2016 23:34:23 +0800] rev 84

The parallel of Implementation.thy, i.e. ExtGG.thy has been updated. And some errors in CpsG.thy have also been corrected.

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Jan 2016 13:50:02 +0000] rev 83

merged

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Jan 2016 13:47:08 +0000] rev 82

some small changes to Correctness and Paper

pip