Difference between pages "Template:Index" and "Template:InfRule"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
 
imported>Mathieu
m (New template for typesetting inference rule)
 
Line 1: Line 1:
 
<noinclude>
 
<noinclude>
Template use to specify an index entry (mainly used for planned eclipse and pdf index generation).
+
Template use to specify a named inference rule
 
== Usage ==
 
== Usage ==
<nowiki>{{Index|concept}}</nowiki>
+
<pre><nowiki>
 +
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
 +
</nowiki></pre>
 
== Example ==
 
== Example ==
The {{Index|Proof Obligation}}s are one of....
+
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
[[Category:Export helper templates]]
+
[[Category:Typesetting template]]
== Template Code ==
+
 
</noinclude><!--
+
== Template ==
--><span class="index-entry" title="{{{1}}}" style="display:inline;"></span>{{{1}}}
+
</noinclude>
 +
<includeonly>{|class="Infrule" text-align="center" border="1" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;{{{style|}}}"
 +
|{{{2}}}
 +
|{{{1}}}
 +
|}

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

Template