(* Copyright (C) 1993 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* See the file COPYRIGHT for a full description. *)
(* Last modified on Fri May 14 00:54:17 PDT 1993 by meehan *)

MODULE VBTList = List (VBT) END VBTList.
