Project

General

Profile

Download (195 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(declare-rel  cbrt (Real Real))
2
(declare-rel  ceil (Real Real))
3
(declare-rel  erf (Real Real))
4
(declare-rel  fabs (Real Real))
5
(declare-rel  pow (Real Real Real))
6
(declare-rel  sqrt (Real Real))
(12-12/14)