Template:For: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m New page: {{{{{substfa|}}}for/aux|{{{1}}}|substa={{{substa|}}}|substc={{{substc|}}}|forcall={{{call}}}|empty=|pv={{{{{substf|}}}#ifeq:{{{pv|+}}}|{{{pv|-}}}|{{{pv}}}|1}}|prefix={{{{{substf|}}}#ifeq:{... |
(No difference)
|
Latest revision as of 13:23, 23 February 2009
