pip: Changelog

zhangx [Wed, 27 Jan 2016 19:28:42 +0800] rev 81

CpsG.thy restored. It was deleted. But now restored as a temporary holder of PIPBasics.thy.

zhangx [Wed, 27 Jan 2016 19:26:56 +0800] rev 80

CpsG.thy retrofiting almost completed. An important mile stone.

zhangx [Sun, 17 Jan 2016 22:18:35 +0800] rev 79

Still improving CpsG.thy

zhangx [Sat, 16 Jan 2016 11:02:17 +0800] rev 78

Merged with 77

zhangx [Sat, 16 Jan 2016 10:59:03 +0800] rev 77

CpsG.thy updated. It is a copy of PIPBasics.thy under drastic improvement.

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Jan 2016 02:05:29 +0000] rev 76

some small changes to the paper

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Jan 2016 03:29:22 +0000] rev 75

updated paper

pip