Fri, 30 Oct 2009 15:35:42 +0100 Christian Urban changed the order of rfv and reformulated a3 with rfv
Fri, 30 Oct 2009 15:32:04 +0100 Christian Urban merged
Fri, 30 Oct 2009 15:30:33 +0100 Christian Urban not sure what changed here
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
Fri, 30 Oct 2009 12:22:03 +0100 Cezary Kaliszyk Cleaning also in Lam
(0) -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip