Difference between pages "MediaWiki:Sidebar" and "Template:InfRule"

Revision as of 14:28, 2 September 2008

Template use to specify a named inference rule

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

style="border-width: 0px 0px 0px 0px;border-style: hidden hidden hidden hidden;"

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

style="border-width: 0px 0px 0px 0px;border-style: hidden hidden hidden hidden;"

HYP

@@ Line 1: / Line 1: @@
-* navigation
+<noinclude>
-** mainpage|Doc Mainpage
+Template use to specify a named inference rule
-** Event-B_Language|Event-B Language Doc
+== Usage ==
-** Rodin_Platform|Rodin Platform Doc
+<pre><nowiki>
-** Rodin_Plug-ins|Plug-in Doc
+{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
-** Rodin_Developer_Support|Developer Support Doc
+</nowiki></pre>
-** recentchanges-url|recentchanges
+== Example ==
-** randompage-url|randompage
+{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
-** helppage|Wiki help
+[[Category:Typesetting template]]
-** Event-B:Village_pump
-** http://www.event-b.org|Event-B and Rodin
+== Template ==
+</noinclude>
+<includeonly>{|class="Infrule" text-align="center" border="1" cellspacing="4" cellpadding="15" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;{{{style|}}}"
+| style="border-width: 0px 0px 0px 0px;border-style: hidden hidden hidden hidden;"
+|{{{2}}}
+| style="border-width: 0px 0px 0px 0px;border-style: hidden hidden hidden hidden;"
+|{{{1}}}
+|}