Changes

Line 19: Line 19:  
</pre>
 
</pre>
   −
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:96%"
+
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width:100%"
 +
| <math>\operatorname{Conc}^0</math>
 +
| align="center" | <math>\xrightarrow{\operatorname{Parse}}</math>
 +
| <math>\operatorname{Node}^0</math>
 +
|}
 +
|-
 
|
 
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="text-align:center; width:96%"
+
{| align="center" border="0" cellpadding="8" cellspacing="0" width:100%"
| &nbsp;
+
| <math>\operatorname{Conc}^0</math>
| From
+
| align="center" | <math>\xrightarrow{\operatorname{Parse}}</math>
| <math>(A)\!</math>
+
| <math>\operatorname{Node}^0</math>
| and
  −
| <math>(\operatorname{d}A)\!</math>
  −
| infer
  −
| <math>(A)\!</math>
  −
| next.
  −
| &nbsp;
   
|-
 
|-
| &nbsp;
+
| <math>\operatorname{Conc}^0</math>
| From
+
| align="center" | <math>\xrightarrow{\operatorname{Parse}}</math>
| <math>(A)\!</math>
+
| <math>\operatorname{Node}^0</math>
| and
+
|}
| <math>\operatorname{d}A\!</math>
  −
| infer
  −
| <math>A\!</math>
  −
| next.
  −
| &nbsp;
   
|-
 
|-
| &nbsp;
+
|
| From
+
{| align="center" border="0" cellpadding="8" cellspacing="0" width:100%"
| <math>A\!</math>
+
| <math>\operatorname{Conc}^0</math>
| and
+
| align="center" | <math>\xrightarrow{\operatorname{Parse}}</math>
| <math>(\operatorname{d}A)\!</math>
+
| <math>\operatorname{Node}^0</math>
| infer
  −
| <math>A\!</math>
  −
| next.
  −
| &nbsp;
   
|-
 
|-
| &nbsp;
+
| <math>\operatorname{Conc}^0</math>
| From
+
| align="center" | <math>\xrightarrow{\operatorname{Parse}}</math>
| <math>A\!</math>
+
| <math>\operatorname{Node}^0</math>
| and
  −
| <math>\operatorname{d}A\!</math>
  −
| infer
  −
| <math>(A)\!</math>
  −
| next.
  −
| &nbsp;
   
|}
 
|}
 
|}
 
|}
12,080

edits