(* Copyright (C) 1994, Digital Equipment Corporation         *)
(* All rights reserved.                                      *)
(* See the file COPYRIGHT for a full description.            *)
(*                                                           *)
(* Last modified on Tue May 24 09:14:54 PDT 1994 by najork   *)
(*      modified on Wed Jul 29 16:33:48 PDT 1992 by broder   *)


MODULE ViewsBase;

BEGIN
END ViewsBase.
