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

Index - -

-:-AERN2.QA.Protocol, AERN2.Sequence, AERN2.Real
-:-|AERN2.QA.Protocol, AERN2.Sequence
-:-||AERN2.QA.Protocol, AERN2.Sequence
-<?<->-AERN2.QA.Protocol
-?-AERN2.QA.Protocol
-?..-AERN2.QA.Protocol
-?..<-AERN2.QA.Protocol
-?<-AERN2.QA.Protocol
-???<-AERN2.QA.Protocol