Changes

Line 1,058: Line 1,058:  
|- style="height:48px; text-align:right"
 
|- style="height:48px; text-align:right"
 
| width="98%" | <math>\text{Logical Translation Rule 1}\!</math>
 
| width="98%" | <math>\text{Logical Translation Rule 1}\!</math>
| width="2%"   | &nbsp;
+
| width="2%" | &nbsp;
 
|}
 
|}
 
|-
 
|-
Line 1,213: Line 1,213:  
|- style="height:48px; text-align:right"
 
|- style="height:48px; text-align:right"
 
| width="98%" | <math>\text{Logical Translation Rule 2}\!</math>
 
| width="98%" | <math>\text{Logical Translation Rule 2}\!</math>
| width="2%"   | &nbsp;
+
| width="2%" | &nbsp;
 
|}
 
|}
 
|-
 
|-
12,089

edits