Mon, 16 May 2016 15:20:23 +0100 improved simplifying theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 16 May 2016 15:20:23 +0100] rev 179
improved simplifying theory
Mon, 16 May 2016 12:50:37 +0100 update
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 16 May 2016 12:50:37 +0100] rev 178
update
(0) -100 -30 -10 -2 +2 +10 +30 +100 +300 tip