DEFINITION MODULE MathLib0;

  (* Version 1.2 of 94/07/08 *)


  PROCEDURE sqrt (x: REAL): REAL;

  PROCEDURE exp (x: REAL): REAL;

  PROCEDURE ln (x: REAL): REAL;

  PROCEDURE sin (x: REAL): REAL;

  PROCEDURE cos (x: REAL): REAL;

  PROCEDURE arctan (x: REAL): REAL;

  PROCEDURE real (x: INTEGER): REAL;

  PROCEDURE entier (x: REAL): INTEGER;

END MathLib0.
