f(x)?z == if x 
dom(f) then f(x) else z fi
Definitions :
ifthenelse: if b then t else f fi ,
fpf-dom: x dom(f),
fpf-ap: f(x)
FDL editor aliases :
fpf-cap
f(x)?z == if x \mmember{} dom(f) then f(x) else z fi
Date html generated:
2010_08_26-PM-11_44_18
Last ObjectModification:
2008_02_27-PM-09_37_27
Home
Index