quotient_info.ML
2009-11-21 Christian Urban flagged qenv-stuff as obsolete
2009-11-21 Christian Urban simplified get_fun so that it uses directly rty and qty, instead of qenv
2009-11-20 Christian Urban started regularize of rtrm/qtrm version; looks quite promising
less more (0) -3 tip