Tue, 09 Sep 2014 05:12:01 +0100 started a few arguments for the ALT case
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 09 Sep 2014 05:12:01 +0100] rev 8
started a few arguments for the ALT case
Mon, 08 Sep 2014 21:13:36 +0100 cleaned up the theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 21:13:36 +0100] rev 7
cleaned up the theory
Mon, 08 Sep 2014 16:36:13 +0100 getting back the original version by Sulzmann
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 16:36:13 +0100] rev 6
getting back the original version by Sulzmann
Mon, 08 Sep 2014 14:06:15 +0100 initial version of the theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 14:06:15 +0100] rev 5
initial version of the theory
(0) -4 +4 +10 +30 +100 +300 tip