Template:Xpd: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>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)
|
