Tue, 17 May 2016 05:14:41 +0100 squeezed on 16 pages
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 17 May 2016 05:14:41 +0100] rev 181
squeezed on 16 pages
Tue, 17 May 2016 03:47:33 +0100 isarfied the simplify theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 17 May 2016 03:47:33 +0100] rev 180
isarfied the simplify theory
(0) -100 -30 -10 -2 +2 +10 +30 +100 +300 tip