quotient_def.ML
2009-11-04 Christian Urban slightly tuned
2009-11-04 Christian Urban separated the quotient_def into a separate file
less more (0) tip