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
max\_w\_ord(t1;t2;f) == if f[t1] <z f[t2] then t2 else t1 fi
Date html generated:
2015_07_17-AM-07_41_44
Last ObjectModification:
2012_06_25-PM-06_30_01
Home
Index