Difference between revisions of "Template:InfRule"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m
imported>Mathieu
m
Line 8: Line 8:
 
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
 
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
 
[[Category:Typesetting template]]
 
[[Category:Typesetting template]]
border-collapse:collapse;
 
 
== Template ==
 
== Template ==
 
</noinclude>
 
</noinclude>
<includeonly>
+
<includeonly>{|class="Infrule" text-align="center" border="1"  frame="box" rules="none" cellspacing="4" cellpadding="15"  style="margin:1em 1em 1em 0; border-color: #AAAAAA; border-style:solid; empty-cells:show; display:inline-table;{{{style|}}}"
{|class="Infrule" text-align="center" border="1"  frame="box" rules="none" cellspacing="4" cellpadding="15"  style="margin:1em 1em 1em 0; border-color: #AAAAAA; border-style:solid; empty-cells:show; display:inline-table;{{{style|}}}"
 
 
|{{{2}}}
 
|{{{2}}}
 
|{{{1}}}
 
|{{{1}}}
 
|}</includeonly>
 
|}</includeonly>

Revision as of 10:20, 4 September 2008

Template use to specify a named inference rule

Usage

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

Example

\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}} HYP

Template