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

              This procedure is provided by Extended Tcl.