aern2-real-0.1.0.0: Exact real numbers via Cauchy sequences and MPFR

Index - _

_acGuideAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
_acStrictAERN2.AccuracySG, AERN2.Sequence, AERN2.Real
_addslACachedPrintAERN2.Real
_addslAParPrintAERN2.Real
_example_pifAERN2.Real
_nsectionAERN2.Real