Library Float.MSB

Library Float.Fbound

Library Float.AllFloat

Library Float.Others.FminOp

Library Float.Others.discriminant

Library Float.Others.FmaEmul

Library Float.Others.FroundDivSqrt

Library Float.Others.discriminant3

Library Float.Others.Veltkamp

Library Float.Others.PradixE

Library Float.Others.AlgoPredSucc

Library Float.Others.DblRndOdd

Library Float.Others.Dekker

Library Float.Others.discriminant2

Library Float.Others.Divnk

Library Float.MSBProp

Library Float.Fround

Library Float.RND

Library Float.Fmin

Library Float.Fop

Library Float.Rpow

Library Float.sTactic

Library Float.ClosestMult

Library Float.Faux

Library Float.Ct2.FnormI

Library Float.Ct2.FboundI

Library Float.Paux

Library Float.Closest2Plus

Library Float.Option

Library Float.FroundPlus

Library Float.ClosestPlus

Library Float.Fnorm

Library Float.Fprop

Library Float.ClosestProp

Library Float.FroundProp

Library Float.Closest

Library Float.Closest2Prop

Library Float.Fodd

Library Float.FPred

Library Float.Expansions.FexpPlus

Library Float.Expansions.TwoSum

Library Float.Expansions.Fexp2

Library Float.Expansions.FexpAdd

Library Float.Expansions.EFast2Sum

Library Float.Expansions.Fast2Diff

Library Float.Expansions.Fexp

Library Float.Expansions.Fast2Sum

Library Float.Expansions.ThreeSumProps

Library Float.Expansions.ThreeSum2

Library Float.Expansions.FexpDiv

Library Float.FroundMult

Library Float.FSucc

Library Float.Zdivides

Library Float.Digit

Library Float.Fsucc

Library Float.Finduct

Library Float.FnElem.FIA64elem

Library Float.FnElem.DoubleRound

Library Float.FnElem.FmaErr

Library Float.FnElem.MinOrMax

Library Float.FnElem.FmaErrApprox2

Library Float.FnElem.FmaErr2

Library Float.FnElem.FArgReduct2

Library Float.FnElem.Axpy

Library Float.FnElem.FArgReduct

Library Float.FnElem.FmaErrApprox

Library Float.FnElem.FArgReduct4

Library Float.FnElem.FArgReduct3

Library Float.Float

Library Float.Fcomp

Library Float.Zenum


This page has been generated by coqdoc