quotient_def.ML
2009-11-04 Christian Urban more tuning
less more (0) -1 tip