CoRN.reals.fast.CRtrans

Require Export CRArith.
Require Export Compress.
Require Export CRpower.
Require Export CRroot.
Require Export CRexp.
Require Export CRln.
Require Export CRsin.
Require Export CRcos.
Require Export CRpi.
Require Export CRarctan.
Require Export CRabs.