Fri, 19 Mar 2010 14:54:30 +0100 Use fs typeclass in showing finite support + some cheat cleaning.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 14:54:30 +0100] rev 1547
Use fs typeclass in showing finite support + some cheat cleaning.
Fri, 19 Mar 2010 12:31:55 +0100 merged
Christian Urban <urbanc@in.tum.de> [Fri, 19 Mar 2010 12:31:55 +0100] rev 1546
merged
Fri, 19 Mar 2010 12:31:17 +0100 more one the paper
Christian Urban <urbanc@in.tum.de> [Fri, 19 Mar 2010 12:31:17 +0100] rev 1545
more one the paper
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip