(* Copyright 1992 Digital Equipment Corporation.       *)
(* Distributed only by permission.                     *)
(* Last modified on Fri Jul 31 00:54:09 1992 by kalsow *)
(*      modified on Tue Jul 21 05:55:11 1992 by mhb    *)

INTERFACE V_Tree;
END V_Tree.

