(* Copyright 1993 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Mon Aug 16 11:53:22 PDT 1993 by harrison *)
(*      modified on Sun Jul 11 11:19:36 PDT 1993 by mhb *)

INTERFACE ViewIncrementalReal;

END ViewIncrementalReal.



