Thu, 15 May 2014 16:02:44 +0100 simplified the cp_rec proof
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 15 May 2014 16:02:44 +0100] rev 33
simplified the cp_rec proof
(0) -30 -10 -1 +1 +10 +30 +100 tip