Difference between revisions of "Template:Rulename"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (New page: <noinclude> ==Usage== Template use to specify a rulename. ==Example== .... Category:Typesetting templates ==Template== </noinclude><!-- --><div class="rulename-class" style="font-size:...) |
imported>Laurent (Added example) |
||
Line 1: | Line 1: | ||
<noinclude> | <noinclude> | ||
==Usage== | ==Usage== | ||
− | Template use to specify a | + | Template use to specify a proving rule name. |
==Example== | ==Example== | ||
− | + | {{Rulename|HYP}} is the name of an inference rule. | |
[[Category:Typesetting templates]] | [[Category:Typesetting templates]] | ||
==Template== | ==Template== | ||
</noinclude><!-- | </noinclude><!-- | ||
− | --><div class="rulename-class" style="font-size:-2;font-family:monospace">{{{1}}}</div> | + | --><div class="rulename-class" style="display:inline;font-size:-2;font-family:monospace">{{{1}}}</div> |
Revision as of 10:18, 8 July 2009
Usage
Template use to specify a proving rule name.
Example
HYP
is the name of an inference rule.
Template
{{{1}}}