Sat, 04 Sep 2010 05:43:03 +0800 Christian Urban cleaned a bit various thy-files in Nominal-General
Fri, 03 Sep 2010 22:35:35 +0800 Christian Urban adapted paper to changes
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip