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
Latex:
equalf\_from\_lef(lef;x;y) == if lef x y then lef y x else ff fi
Date html generated:
2016_05_16-AM-08_42_52
Last ObjectModification:
2012_07_03-PM-05_43_25
Theory : labeled!trees
Home
Index