Wed, 10 Nov 2010 13:46:21 +0000 adapted to changes by Florian on the quotient package and removed local fix for function package
Christian Urban <urbanc@in.tum.de> [Wed, 10 Nov 2010 13:46:21 +0000] rev 2559
adapted to changes by Florian on the quotient package and removed local fix for function package
Wed, 10 Nov 2010 13:40:46 +0000 expanded the paper by uncommenting the comments and adding the appendix
Christian Urban <urbanc@in.tum.de> [Wed, 10 Nov 2010 13:40:46 +0000] rev 2558
expanded the paper by uncommenting the comments and adding the appendix
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip