(* Copyright (C) 1993, Digital Equipment Corporation                         *)
(* All rights reserved.                                                      *)
(* See the file COPYRIGHT for a full description.                            *)
(*                                                                           *)
(* Created by Marc Najork                                                    *)
(* Last modified on Wed Dec 29 11:21:10 PST 1993 by najork                   *)


INTERFACE PropList = List (Prop) END PropList.
