Template:Ident

From Event-B
Revision as of 12:21, 16 December 2008 by Mathieu (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Usage

Template use to specify an identifier or a variable.

Example

Variable
chaining_block
must be typed.

Template

{{{1}}}