Difference between revisions of "Template:Xpd"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (New page: {{{{{substnp|}}}if|subst={{{substnp|}}}|eq|{{{4|+}}}|{{{4|-}}}|{{xpd3|d={{{d|}}}|gives={{{gives|gives}}}|l={{{l|}}}|{{{1}}}|{{{2|}}}|{{{3|}}}|{{{4}}}}}|{{{{{substnp|}}}if|subst={{{substnp|...) |
(No difference)
|