Template:Ident
From Event-B
Revision as of 12:46, 29 September 2008 by imported>Mathieu (New page: <noinclude> ==Usage== Template use to specify an identifier or a variable. ==Example== Variable {{ident|chaining_block}} must be typed. Category:Typesetting templates ==Template== </n...)
Usage
Template use to specify an identifier or a variable.
Example
Variable
chaining_block
must be typed.
Template
{{{1}}}