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/08 23:55] vkuncak |
sav08:fol_with_update_expressions [2008/04/08 23:55] vkuncak |
||
---|---|---|---|
Line 9: | Line 9: | ||
=== Function Update === | === Function Update === | ||
- | f(a:=b)(x) = ite(++|x=a,b,f(x)++) | + | f(a:=b)(x) = ++|ite(x=a,b,f(x)++) |
=== Sets === | === Sets === |