Template:Rulename
From Event-B
Revision as of 10:18, 8 July 2009 by imported>Laurent (Added example)
Usage
Template use to specify a proving rule name.
Example
HYP
is the name of an inference rule.
Template
{{{1}}}
Template use to specify a proving rule name.
is the name of an inference rule.