Difference between revisions of "Template:RRHeader"

From Event-B
Jump to: navigation, search
m
 
Line 21: Line 21:
 
== Template ==
 
== Template ==
 
</noinclude>
 
</noinclude>
<includeonly>{|class="RRHeader" text-align="left" border="1"  cellspacing="4" cellpadding="8" rules="all" frame="box" style="margin:1em 1em 1em 0; border-style:solid; border-color:#AAAAAA;  display:inline-table; {{{style|}}}"
+
<includeonly>{|class="RRHeader" text-align="left" border="1"  cellspacing="4" cellpadding="8" rules="all" frame="box" style="margin:1em 1em 1em 0; border-style:solid; border-color:#AAAAAA;  display:table; {{{style|}}}"
 
|- bgcolor="#CCCCCC"
 
|- bgcolor="#CCCCCC"
 
! &nbsp; !! Name !! Rule !! Side Condition !! A/M </includeonly><noinclude>
 
! &nbsp; !! Name !! Rule !! Side Condition !! A/M </includeonly><noinclude>

Latest revision as of 09:27, 8 April 2011

Template use to specify a table header for describing rewriting rules

Usage

{{RRHeader}}
|-
|*||RULE1||<math>a + b -c == a + b - c</math>||no side condition || M
|-
| ||NN||RULE|| || A
|}

Example

  Name Rule Side Condition A/M
* RULE1 <math>a + b -c == a + b - c</math> no side condition M
NN RULE A

Template