Thu, 01 Apr 2010 16:55:34 +0200 fv_perm_bn
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 16:55:34 +0200] rev 1757
fv_perm_bn
Thu, 01 Apr 2010 16:17:56 +0200 Minor formula fixes.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 16:17:56 +0200] rev 1756
Minor formula fixes.
Thu, 01 Apr 2010 16:08:54 +0200 fixed alpha_bn
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 16:08:54 +0200] rev 1755
fixed alpha_bn
Thu, 01 Apr 2010 15:41:48 +0200 current state
Christian Urban <urbanc@in.tum.de> [Thu, 01 Apr 2010 15:41:48 +0200] rev 1754
current state
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip