(* Copyright 1993 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Wed Jun 23 13:58:23 PDT 1993 by steveg  *)
(*      modified on Thu Apr 22 15:06:02 PDT 1993 by mcjones *)
 
MODULE TextRefSort = ArraySort(TextRef) END TextRefSort.
