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