(* Copyright 1993 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Thu Aug 19 18:58:49 PDT 1993 by weber  *)
(*      modified on Sun Jul 11 11:10:14 PDT 1993 by mhb *)

INTERFACE AlgMinimax;
END AlgMinimax.

