---

str-to-nat(s) ==  str-to-nat-plus(s;0)

---

Definitions :  str-to-nat-plus: str-to-nat-plus(s;n),  natural_number: $n
FDL editor aliases :  str-to-nat

---

str-to-nat(s)  ==    str-to-nat-plus(s;0)


Date html generated: 2010_08_26-PM-11_30_38
Last ObjectModification: 2010_02_10-PM-02_32_37

Home Index