Library Float.Ct2.FboundI

Library Float.Ct2.FnormI

Library Float.AllFloat

Library Float.Closest

Library Float.Closest2Plus

Library Float.Closest2Prop

Library Float.ClosestMult

Library Float.ClosestPlus

Library Float.ClosestProp

Library Float.Digit

Library Float.FPred

Library Float.FSucc

Library Float.Faux

Library Float.Fbound

Library Float.Fcomp

Library Float.Finduct

Library Float.Float

Library Float.Fmin

Library Float.Fnorm

Library Float.Fodd

Library Float.Fop

Library Float.Fprop

Library Float.Fround

Library Float.FroundMult

Library Float.FroundPlus

Library Float.FroundProp

Library Float.MSB

Library Float.MSBProp

Library Float.Option

Library Float.Paux

Library Float.RND

Library Float.Rpow

Library Float.Zdivides

Library Float.Zenum

Library Float.sTactic

Library Float.Expansions.EFast2Sum

Library Float.Expansions.Fast2Diff

Library Float.Expansions.Fast2Sum

Library Float.Expansions.Fexp

Library Float.Expansions.Fexp2

Library Float.Expansions.FexpAdd

Library Float.Expansions.FexpDiv

Library Float.Expansions.FexpPlus

Library Float.Expansions.ThreeSum2

Library Float.Expansions.ThreeSumProps

Library Float.Expansions.TwoSum

Library Float.FnElem.Axpy

Library Float.FnElem.DoubleRound

Library Float.FnElem.FArgReduct

Library Float.FnElem.FArgReduct2

Library Float.FnElem.FArgReduct3

Library Float.FnElem.FArgReduct4

Library Float.FnElem.FIA64elem

Library Float.FnElem.FmaErr

Library Float.FnElem.FmaErrApprox

Library Float.FnElem.MinOrMax

Library Float.Others.DblRndOdd

Library Float.Others.Dekker

Library Float.Others.Divnk

Library Float.Others.FmaEmul

Library Float.Others.FminOp

Library Float.Others.FroundDivSqrt

Library Float.Others.IEEE

Library Float.Others.PradixE

Library Float.Others.Veltkamp

Library Float.Others.discriminant

Library Float.Others.discriminant2

Library Float.Others.discriminant3


This page has been generated by coqdoc