(* Copyright 1992 Digital Equipment Corporation.           *)
(* Distributed only by permission.                         *)
(* Last modified on Thu Jul 16 07:30:45 1992 by mhb        *)
(*      modified on Fri Jun  5 20:21:12 1992 by steveg     *)

INTERFACE AlgMatch;

END AlgMatch.
