(* Copyright 1992 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Thu Jul 23 01:58:01 1992 by saxe*)
(*      modified on Tue Jul 21 05:33:15 1992 by mhb *)

INTERFACE GrahamAlg;
END GrahamAlg.

