rc: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 25 Dec 2014 15:54:08 +0000] rev 21

updated for Isabelle 2014

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 14 Dec 2013 13:07:41 +1100] rev 20

updated slides

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 13 Dec 2013 11:05:50 +1100] rev 19

added

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 13 Dec 2013 10:37:25 +1100] rev 18

added CPP slides

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 20 Sep 2013 12:22:04 +0100] rev 17

final version

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 20 Sep 2013 12:14:39 +0100] rev 16

more related work

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 06 Sep 2013 14:55:53 +0100] rev 15

some small changes according to the reviews

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 06 Sep 2013 13:27:46 +0100] rev 14

added reviews from CPP

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 06 Sep 2013 12:55:12 +0100] rev 13

updated to new isabelle

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 23 Jun 2013 03:55:49 +0100] rev 12

added reviews from ESORICS