DEFINITION MODULE Odds ;

(* Last Edit : 02 Apr 85 20:31:14  *)


EXPORT QUALIFIED Initialise , Terminate ;


PROCEDURE Initialise ;
PROCEDURE Terminate ;

END Odds.