(* Copyright 1993 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Wed Jun 23 14:05:12 PDT 1993 by steveg  *)
(*      modified on Thu Apr 22 15:06:02 PDT 1993 by mcjones *)
 
MODULE IntRefSort = ArraySort(IntRef) END IntRefSort.
