- <keyword>apply</keyword>
- <keyword>applyS</keyword>
- <keyword>cases</keyword>
- <keyword>letin</keyword>
- <keyword>auto</keyword>
- <keyword>elim</keyword>
- <keyword>whd</keyword>
- <keyword>normalize</keyword>
- <keyword>assumption</keyword>
- <keyword>generalize</keyword>
- <keyword>change</keyword>
- <keyword>rewrite</keyword>
- <keyword>cut</keyword>
+ <keyword>apply</keyword>
+ <keyword>applyS</keyword>
+ <keyword>cases</keyword>
+ <keyword>letin</keyword>
+ <keyword>auto</keyword>
+ <keyword>elim</keyword>
+ <keyword>whd</keyword>
+ <keyword>normalize</keyword>
+ <keyword>assumption</keyword>
+ <keyword>generalize</keyword>
+ <keyword>change</keyword>
+ <keyword>rewrite</keyword>
+ <keyword>cut</keyword>
<keyword>prefer</keyword>
<keyword>nocomposites</keyword>
<keyword>coinductive</keyword>
<keyword>prefer</keyword>
<keyword>nocomposites</keyword>
<keyword>coinductive</keyword>
<keyword>include</keyword>
<keyword>include'</keyword>
<keyword>inductive</keyword>
<keyword>inverter</keyword>
<keyword>in</keyword>
<keyword>interpretation</keyword>
<keyword>include</keyword>
<keyword>include'</keyword>
<keyword>inductive</keyword>
<keyword>inverter</keyword>
<keyword>in</keyword>
<keyword>interpretation</keyword>
- <keyword>right</keyword>
- <keyword>source</keyword>
+ <keyword>right</keyword>
+ <keyword>source</keyword>
+ <keyword>symbol</keyword>