Fri, 19 Sep 2014 14:01:01 +0100 changed theory name
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 14:01:01 +0100] rev 11
changed theory name
Fri, 19 Sep 2014 12:54:03 +0100 added test version
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 12:54:03 +0100] rev 10
added test version
(0) -10 -2 +2 +10 +30 +100 +300 tip