Search results
From Event-B
Jump to navigationJump to searchCreate the page "Xpd2" on this wiki! See also the page found with your search.
- ...{{{4}}}}}|{{{{{substnp|}}}if|subst={{{substnp|}}}|eq|{{{3|-}}}|{{{3|+}}}|{{xpd2|d={{{d|}}}|gives={{{gives|gives}}}|l={{{l|}}}|{{{1}}}|{{{2|}}}|{{{3}}}}}|{{644 bytes (71 words) - 13:21, 23 February 2009