(* Copyright 1992 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Tue Aug  4 19:42:26 PDT 1992 by guarino *)
(*      modified on Wed Jul 29 16:24:42 PDT 1992 by broder  *)
(*      modified on Tue Jul 21 05:55:11 1992 by mhb *)

INTERFACE PrefixView;
END PrefixView.

