Sun, 10 Feb 2013 20:56:08 +0000 fixed compilation of paper and typo
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 10 Feb 2013 20:56:08 +0000] rev 164
fixed compilation of paper and typo
Sun, 10 Feb 2013 19:49:07 +0000 changed theory names to uppercase
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 10 Feb 2013 19:49:07 +0000] rev 163
changed theory names to uppercase
(0) -100 -30 -10 -2 +2 +10 +30 +100 tip