Template:InfRule
From Event-B
Revision as of 14:31, 2 September 2008 by imported>Mathieu
Template use to specify a named inference rule
Usage
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
Template use to specify a named inference rule
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
HYP |