next up previous
Next: Needed redex positions Up: Term Menu Previous: Term Menu

Redex positions

With the Redexes command, one may get the redexes positions (according to the current TRS) of the current term.



Irene DURAND
2005-02-01