Template:InfRule

From Event-B
Revision as of 10:21, 5 September 2008 by imported>Mathieu
Jump to navigationJump to search

Template use to specify a named inference rule

Usage

{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}

Example

Failed to parse (syntax error): }} {{{2}}} {{#if:1 | HYP

Template