Difference between pages "Template:InfRule" and "Category:User FAQ"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m
 
imported>Mathieu
m
 
Line 1: Line 1:
<noinclude>
+
[[Category:FAQ]]
Template use to specify a named inference rule
+
[[Category:User documentation]]
== Usage ==
 
<pre><nowiki>
 
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
 
</nowiki></pre>
 
== Example ==
 
{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
 
[[Category:Typesetting template]]
 
border-collapse:collapse;
 
== Template ==
 
</noinclude>
 
<includeonly>{|class="Infrule" text-align="center" border="2" cellspacing="4" cellpadding="15" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; empty-cells:show;{{{style|}}}"
 
|- style="border:solid 1px #AAAAAA;"
 
|style="border-width: 0px;border-style: hidden;" |{{{2}}}
 
|style="font-family:sans-serif;border-width: 0px;border-style: hidden;"|{{{1}}}
 
|}
 

Latest revision as of 14:04, 6 April 2009