DEFINITION MathLib0; (* SJ *)

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;

END MathLib0.
