next up previous
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