Template:If
From Event-B
Revision as of 13:21, 23 February 2009 by imported>Mathieu (New page: {{{{{subst|}}}p{{{{{subst|}}}#ifeq:{{{1}}}|eq|1|2}}|{{{{{subst|}}}p{{{{{subst|}}}#ifeq:{{{2}}}|{{{3}}}|1|2}}|{{{4|}}}|{{{5}}}}}|{{{{{subst|}}}p{{{{{subst|}}}#if{{{1}}}:{{{2}}}|1|2}}|{{{3}}...)
{{p{{#if{{{1}}}:{{{2}}}|1|2}}|{{{3}}}|}}Template:Documentation
