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:{...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search