Template:RRHeader
From Event-B
Revision as of 15:35, 29 January 2009 by imported>Frederic (New page: <noinclude> Template use to specify a table header for describing rewriting rules == Usage == <pre><nowiki>{{RRHeader}} |- |RULE1||<math>a + b -c == a + b - c</math>||no side condition || ...)
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 |  |
no side condition | M |
| NN | RULE | A |
