pip: Changelog

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

zhangx [Thu, 14 Jan 2016 00:55:54 +0800] rev 74

Moment.thy further simplified.

zhangx [Wed, 13 Jan 2016 23:39:59 +0800] rev 73

Moment.thy further improved.

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Jan 2016 15:22:14 +0000] rev 72

another simplification

pip