       lrmdups list
              Procedure  to  remove  duplicate  elements  from  a  list.   The
              returned list will be sorted.
