Template:RRHeader

From Event-B
Revision as of 09:27, 8 April 2011 by Wohuai (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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