Nuprl Definition : max_w_ord
max_w_ord(t1;t2;f) == if f[t1] <z f[t2] then t2 else t1 fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
so_apply: x[s]
FDL editor aliases :
max_w_ord
Latex:
max\_w\_ord(t1;t2;f) == if f[t1] <z f[t2] then t2 else t1 fi
Date html generated:
2018_05_22-PM-09_39_31
Last ObjectModification:
2012_06_25-PM-06_30_01
Theory : labeled!trees
Home
Index