CoRN.reals.faster.ARtrans

Require Export ARArith.
Require Export ARroot.
Require Export ARexp.
Require Export ARsin.
Require Export ARcos.
Require Export ARpi.
Require Export ARarctan.