(* Copyright 1993 Digital Equipment Corporation.                             *)
(* Distributed only by permission.                                           *)
(*                                                                           *)
(* Last modified on Sun Aug  8 12:53:47 PDT 1993 by heydon                   *)

INTERFACE AlgTwoPhase;
END AlgTwoPhase.
