Nominal/ROOT.ML
Thu, 06 Jan 2011 14:53:38 +0000 Christian Urban moved Weakening up....it does not compile when put at the last position
Thu, 06 Jan 2011 13:31:44 +0000 Christian Urban added weakening to the test cases
less more (0) -30 -10 -2 tip