Tue, 30 Mar 2010 15:07:42 +0200 merged
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 15:07:42 +0200] rev 1716
merged
Tue, 30 Mar 2010 13:58:07 +0200 Avoid mentioning other nominal datatypes as it makes things too complicated.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 13:58:07 +0200] rev 1715
Avoid mentioning other nominal datatypes as it makes things too complicated.
Tue, 30 Mar 2010 13:37:35 +0200 merged
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 13:37:35 +0200] rev 1714
merged
Tue, 30 Mar 2010 13:36:02 +0200 close the missing parenthesis on both sides.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 13:36:02 +0200] rev 1713
close the missing parenthesis on both sides.
Tue, 30 Mar 2010 13:23:12 +0200 merged
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 13:23:12 +0200] rev 1712
merged
Tue, 30 Mar 2010 13:22:54 +0200 changes to section 2
Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 13:22:54 +0200] rev 1711
changes to section 2
Tue, 30 Mar 2010 12:31:28 +0200 Clean alpha
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 30 Mar 2010 12:31:28 +0200] rev 1710
Clean alpha
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip