Next:
Normalizability
Up:
Term Menu
Previous:
Redex positions
Needed redex positions
With the
Needed redexes
command, one may get the needed-redexes positions (according to the current approximation of the current TRS) of the current term.
Irene DURAND
2005-02-01