Mon, 17 May 2010 17:54:07 +0100 made this example to work again
Christian Urban <urbanc@in.tum.de> [Mon, 17 May 2010 17:54:07 +0100] rev 2149
made this example to work again
Mon, 17 May 2010 17:34:02 +0200 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 17 May 2010 17:34:02 +0200] rev 2148
merge
Mon, 17 May 2010 17:31:18 +0200 alpha_alphabn for bindings in a type under bn.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 17 May 2010 17:31:18 +0200] rev 2147
alpha_alphabn for bindings in a type under bn.
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip