Nuprl Definition : equalf_from_lef
equalf_from_lef(lef;x;y) == if lef x y then lef y x else ff fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
bfalse: ff,
apply: f a
FDL editor aliases :
equalf_from_lef
equalf\_from\_lef(lef;x;y) == if lef x y then lef y x else ff fi
Date html generated:
2015_07_17-AM-07_41_15
Last ObjectModification:
2012_07_03-PM-05_43_25
Home
Index