2014-03-27 added some comments
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 15:12:33 +0000] rev 13
added some comments
2014-03-27 some minor changes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 13:06:27 +0000] rev 12
some minor changes
2014-03-27 moved some lemmas
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 11:50:37 +0000] rev 11
moved some lemmas
2014-03-25 added a stub for a paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 25 Mar 2014 11:20:36 +0000] rev 10
added a stub for a paper
(0) -10 -4 +4 +10 tip