Fri, 30 Oct 2009 15:28:44 +0100 Christian Urban added fv-function
Fri, 30 Oct 2009 15:22:59 +0100 Cezary Kaliszyk The proper real_alpha
Fri, 30 Oct 2009 14:25:37 +0100 Cezary Kaliszyk Finding applications and duplicates filtered out in abstractions
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip