Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:fol_with_update_expressions [2008/04/09 00:16] vkuncak |
sav08:fol_with_update_expressions [2008/04/09 00:16] vkuncak |
||
---|---|---|---|
Line 11: | Line 11: | ||
f (a:=b)(x) = ++|ite(x=a,b,f(x))++ | f (a:=b)(x) = ++|ite(x=a,b,f(x))++ | ||
- | f ((a,b):=c)(x,y) = ++|ite(x=a & y=b, c,f(x,y))++ | + | f ( (a,b) :=c)(x,y) = ++|ite(x=a & y=b, c,f(x,y))++ |
=== Sets === | === Sets === |