- <entry><emphasis role="bold">normalize</emphasis></entry>
- <entry>Computes the βδιζ-normal form</entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry><emphasis role="bold">simplify</emphasis></entry>
- <entry>Computes a form supposed to be simpler</entry>
- </row>
- <row>
- <entry/>
- <entry>|</entry>
- <entry><emphasis role="bold">unfold</emphasis> [&sterm;]</entry>
- <entry>δ-reduces the constant or variable if specified, or that
- in head position</entry>
+ <entry><emphasis role="bold">normalize</emphasis> [<emphasis role="bold">nodelta</emphasis>]</entry>
+ <entry>Computes the βδιζ-normal form. If <userinput>nodelta</userinput>
+ is specified, δ-expansions are not performed.</entry>