Template:For
From Event-B
Revision as of 13:23, 23 February 2009 by imported>Mathieu (New page: {{{{{substfa|}}}for/aux|{{{1}}}|substa={{{substa|}}}|substc={{{substc|}}}|forcall={{{call}}}|empty=|pv={{{{{substf|}}}#ifeq:{{{pv|+}}}|{{{pv|-}}}|{{{pv}}}|1}}|prefix={{{{{substf|}}}#ifeq:{...)
