Template:InfRule: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
mNo edit summary
imported>Mathieu
mNo edit summary
Line 11: Line 11:
== Template ==
== Template ==
</noinclude>
</noinclude>
<includeonly><div style="border:solid 1px #AAAAAA;">{|class="Infrule" text-align="center" border="2" cellspacing="4" cellpadding="15" rules="all" style="margin:1em 1em 1em 0; border:hidden 0px; empty-cells:show;{{{style|}}}"
<includeonly><div style="border:solid 1px #AAAAAA;">
{|class="Infrule" text-align="center" border="2" cellspacing="4" cellpadding="15" rules="all" style="margin:1em 1em 1em 0; border:hidden 0px; empty-cells:show;{{{style|}}}"
|{{{2}}}
|{{{2}}}
|{{{1}}}
|{{{1}}}
|}</div></includeonly>
|}</div></includeonly>

Revision as of 14:45, 2 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

border-collapse:collapse;

Template