quotient_def.ML
2009-11-21 Christian Urban simplified get_fun so that it uses directly rty and qty, instead of qenv
less more (0) -10 -1 tip