Nuprl Definition : sort-int

sort-int(as) ==  merge-int([];as)


Definitions occuring in Statement :  merge-int: merge-int(as;bs),  nil: []
Definitions occuring in definition :  merge-int: merge-int(as;bs),  nil: []
FDL editor aliases :  sort-int
Latex:
sort-int(as)  ==    merge-int([];as)


Date html generated: 2016_05_14-AM-06_43_07
Last ObjectModification: 2015_12_03-PM-02_07_28

Theory : list_0


Home Index