Nuprl Definition : list-max

list-max(x.f[x];L) ==  outl(list-max-aux(x.f[x];L))


Definitions occuring in Statement :  list-max-aux: list-max-aux(x.f[x];L),  outl: outl(x)
Definitions occuring in definition :  outl: outl(x),  list-max-aux: list-max-aux(x.f[x];L)
FDL editor aliases :  list-max
Latex:
list-max(x.f[x];L)  ==    outl(list-max-aux(x.f[x];L))


Date html generated: 2016_05_14-PM-01_43_01
Last ObjectModification: 2015_09_22-PM-05_54_33

Theory : list_1


Home Index