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
Wed, 11 May 2016 13:12:30 +0100 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 11 May 2016 13:12:30 +0100] rev 177
updated
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 tip