Wed, 10 Feb 2016 17:38:29 +0000 Christian Urban fixed inj function
Mon, 08 Feb 2016 15:51:23 +0000 Christian Urban strengthened PMatch to get determ
Mon, 08 Feb 2016 11:54:48 +0000 Christian Urban updated
Mon, 08 Feb 2016 09:56:32 +0000 Christian Urban updated
Sun, 07 Feb 2016 23:44:34 +0000 Christian Urban updated
Fri, 05 Feb 2016 10:16:41 +0000 Christian Urban added new version of paper by sulzmann
(0) -100 -30 -10 -6 +6 +10 +30 +100 +300 tip