Library Ct2.FboundI

Library Ct2.FnormI

Library AllFloat

Library Closest

Library Closest2Plus

Library Closest2Prop

Library ClosestMult

Library ClosestPlus

Library ClosestProp

Library Digit

Library FPred

Library FSucc

Library Faux

Library Fbound

Library Fcomp

Library Finduct

Library Float

Library Fmin

Library Fnorm

Library Fodd

Library Fop

Library Fprop

Library Fround

Library FroundMult

Library FroundPlus

Library FroundProp

Library MSB

Library MSBProp

Library Option

Library Paux

Library RND

Library Rpow

Library Zdivides

Library Zenum

Library sTactic

Library Expansions.EFast2Sum

Library Expansions.Fast2Diff

Library Expansions.Fast2Sum

Library Expansions.Fexp

Library Expansions.Fexp2

Library Expansions.FexpAdd

Library Expansions.FexpDiv

Library Expansions.FexpPlus

Library Expansions.ThreeSum2

Library Expansions.ThreeSumProps

Library Expansions.TwoSum

Library FnElem.Axpy

Library FnElem.DoubleRound

Library FnElem.FArgReduct

Library FnElem.FArgReduct2

Library FnElem.FArgReduct3

Library FnElem.FArgReduct4

Library FnElem.FIA64elem

Library FnElem.FmaErr

Library FnElem.FmaErrApprox

Library FnElem.MinOrMax

Library Others.DblRndOdd

Library Others.Dekker

Library Others.Divnk

Library Others.FmaEmul

Library Others.FminOp

Library Others.FroundDivSqrt

Library Others.IEEE

Library Others.PradixE

Library Others.Veltkamp

Library Others.discriminant

Library Others.discriminant2

Library Others.discriminant3

---

This page has been generated by coqdoc