Thu, 01 Apr 2010 17:55:46 +0200 Christian Urban updated related work section
Thu, 01 Apr 2010 17:41:34 +0200 Cezary Kaliszyk fv_fv_bn
Thu, 01 Apr 2010 17:00:52 +0200 Cezary Kaliszyk Update fv_bn definition for bindings allowed in types for which bn is present.
Thu, 01 Apr 2010 16:55:34 +0200 Cezary Kaliszyk fv_perm_bn
Thu, 01 Apr 2010 16:17:56 +0200 Cezary Kaliszyk Minor formula fixes.
Thu, 01 Apr 2010 16:08:54 +0200 Christian Urban fixed alpha_bn
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip