Nominal/nominal_dt_quot.ML
Sun, 27 Jun 2010 21:41:21 +0100 Christian Urban fixed according to changes in quotient
less more (0) tip