Wed, 10 Feb 2016 17:38:29 +0000 fixed inj function
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 10 Feb 2016 17:38:29 +0000] rev 101
fixed inj function
Mon, 08 Feb 2016 15:51:23 +0000 strengthened PMatch to get determ
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Feb 2016 15:51:23 +0000] rev 100
strengthened PMatch to get determ
(0) -100 -30 -10 -2 +2 +10 +30 +100 +300 tip