Template:Rulename
From Event-B
Revision as of 10:19, 8 July 2009 by imported>Laurent
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.