Thu, 01 Apr 2010 17:41:34 +0200 fv_fv_bn
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 17:41:34 +0200] rev 1759
fv_fv_bn
Thu, 01 Apr 2010 17:00:52 +0200 Update fv_bn definition for bindings allowed in types for which bn is present.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 01 Apr 2010 17:00:52 +0200] rev 1758
Update fv_bn definition for bindings allowed in types for which bn is present.
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.
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip