(* Copyright 1992 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Fri Jul 24 21:08:53 1992 by owicki*)
(*      modified on Tue Jul 21 05:55:11 1992 by mhb *)

INTERFACE PQAlgs;
END PQAlgs.
