(* Copyright (C) 1992, Digital Equipment Corporation                         *)
(* All rights reserved.                                                      *)
(* See the file COPYRIGHT for a full description.                            *)
(*                                                                           *)
(* Last modified on Tue Jun 16 10:12:55 PDT 1992 by muller                   *)
(*      modified on Sun Nov 24 20:38:19 PST 1991 by meehan                   *)

INTERFACE TextList = GenList (Text) END TextList.