data/coq-float-8.10.0/FSucc.v:527: Fle ==> File
data/coq-float-8.10.0/FSucc.v:664: Fle ==> File
data/coq-float-8.10.0/FSucc.v:720: Fle ==> File
data/coq-float-8.10.0/Faux.v:8: Auxillary ==> Auxiliary
data/coq-float-8.10.0/Fcomp.v:47: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:140: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:158: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:169: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:197: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:198: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:209: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:210: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:230: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:232: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:233: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:237: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:237: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:237: Fle ==> File
data/coq-float-8.10.0/Fcomp.v:238: Fle ==> File
data/coq-float-8.10.0/Fmin.v:328: Minimun ==> Minimum
data/coq-float-8.10.0/Fmin.v:328: upto ==> up to
data/coq-float-8.10.0/Fmin.v:342: upto ==> up to
data/coq-float-8.10.0/Fmin.v:426: minimun ==> minimum
data/coq-float-8.10.0/README:56: Defintion ==> Definition
data/coq-float-8.10.0/Zdivides.v:149: shoud ==> should
data/coq-float-8.10.0/Zenum.v:54: numbres ==> numbers