Tue, 11 May 2010 12:18:26 +0100 Christian Urban added some of the quotient literature; a bit more to the qpaper
Mon, 10 May 2010 18:09:00 +0100 Christian Urban fixed a problem with non-existant alphas2
Mon, 10 May 2010 17:57:22 +0100 Christian Urban added comment about bind_set
Mon, 10 May 2010 17:55:54 +0100 Christian Urban fixing bind_set problem
Mon, 10 May 2010 18:32:50 +0200 Cezary Kaliszyk merge
Mon, 10 May 2010 18:32:15 +0200 Cezary Kaliszyk Term8 comment
Mon, 10 May 2010 18:30:27 +0200 Cezary Kaliszyk merge
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip