Template:Rulename: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Laurent Added example |
imported>Laurent No edit summary |
||
| Line 7: | Line 7: | ||
==Template== | ==Template== | ||
</noinclude><!-- | </noinclude><!-- | ||
--><div class=" | --><div class="typeset-class" style="display:inline;font-size:-2;font-family:monospace">{{{1}}}</div> | ||
Latest revision as of 10:19, 8 July 2009
Usage
Template use to specify a proving rule name.
Example
HYP
is the name of an inference rule.
Template
{{{1}}}
