(* Copyright 1992 Digital Equipment Corporation. *)
(* Distributed only by permission. *)
(* Last modified on Tue Aug 11 20:17:16 PDT 1992 by ramshaw*)
(*      modified on Thu Jul 23 01:58:01 1992 by saxe*)

INTERFACE RubberAlg;
END RubberAlg.

