Search results
From Event-B
Jump to navigationJump to searchCreate the page "ForLoop/aux" on this wiki! See also the search results found.
Page title matches
- 46 KB (5,395 words) - 13:15, 23 February 2009
Page text matches
- {{{{{substfa|}}}forLoop/aux|{{{1}}}|substa={{{substa|}}}|substc={{{substc|}}}|forcall={{{call}}}|empty= *substfa=subst: - substitute the call of auxiliary {{tim|for/aux}}16 KB (1,512 words) - 13:16, 23 February 2009