Difference between revisions of "Template:For"

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