(* Copyright 1992 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Fri Jul 31 14:46:39 PDT 1992 by swart *)
(*      modified on Tue Jul 21 05:55:11 1992 by mhb *)

INTERFACE HashViews;
END HashViews.

