-R . Float

AllFloat.v
Closest.v
Closest2Plus.v
Closest2Prop.v
ClosestMult.v
ClosestPlus.v
ClosestProp.v
Digit.v
FPred.v
FSucc.v
Faux.v
Fbound.v
Fcomp.v
Finduct.v
Float.v
Fmin.v
Fnorm.v
Fodd.v
Fop.v
Fprop.v
Fround.v
FroundMult.v
FroundPlus.v
FroundProp.v
MSB.v
MSBProp.v
Option.v
Paux.v
Power.v
Zdivides.v
Zenum.v
sTactic.v
Rpow.v
