Nuprl Definition : str-to-nat

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


Definitions occuring in Statement :  str-to-nat-plus: str-to-nat-plus(s;n),  natural_number: $n
Definitions occuring in definition :  str-to-nat-plus: str-to-nat-plus(s;n),  natural_number: $n
FDL editor aliases :  str-to-nat
Latex:
str-to-nat(s)  ==    str-to-nat-plus(s;0)


Date html generated: 2016_05_14-PM-03_35_40
Last ObjectModification: 2015_09_22-PM-06_01_16

Theory : decidable!equality


Home Index