(* 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:42:50 PDT 1993 by meehan *)

INTERFACE VBTList = List (VBT) END VBTList.
