- <entry><link linkend="tac_normalize"><emphasis role="bold">normalize</emphasis></link> <emphasis><link linkend="grammar.pattern">pattern</link></emphasis></entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry>
- <link linkend="tac_reflexivity">
- <emphasis role="bold">reflexivity</emphasis>
- </link>
- </entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry><link linkend="tac_replace"><emphasis role="bold">replace</emphasis></link> <emphasis><link linkend="grammar.pattern">pattern</link></emphasis> <emphasis role="bold">with</emphasis> <emphasis><link linkend="grammar.sterm">sterm</link></emphasis></entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry><link linkend="tac_rewrite"><emphasis role="bold">rewrite</emphasis></link> [<emphasis role="bold"><</emphasis>|<emphasis role="bold">></emphasis>] <emphasis><link linkend="grammar.sterm">sterm</link></emphasis> <emphasis><link linkend="grammar.pattern">pattern</link></emphasis></entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry>
- <link linkend="tac_right">
- <emphasis role="bold">right</emphasis>
- </link>
- </entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry>
- <link linkend="tac_ring">
- <emphasis role="bold">ring</emphasis>
- </link>
- </entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry><link linkend="tac_simplify"><emphasis role="bold">simplify</emphasis></link> <emphasis><link linkend="grammar.pattern">pattern</link></emphasis></entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry>
- <link linkend="tac_split">
- <emphasis role="bold">split</emphasis>
- </link>
- </entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry>
- <link linkend="tac_subst">
- <emphasis role="bold">subst</emphasis>
- </link>
- </entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry>
- <link linkend="tac_symmetry">
- <emphasis role="bold">symmetry</emphasis>
- </link>
- </entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry><link linkend="tac_transitivity"><emphasis role="bold">transitivity</emphasis></link> <emphasis><link linkend="grammar.sterm">sterm</link></emphasis></entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry><link linkend="tac_unfold"><emphasis role="bold">unfold</emphasis></link> [<emphasis><link linkend="grammar.sterm">sterm</link></emphasis>] <emphasis><link linkend="grammar.pattern">pattern</link></emphasis></entry>