(* Copyright 1993 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Fri Jul  9 16:36:47 PDT 1993 by mhb *)

INTERFACE RealList = List(RealType) END RealList.
