next up previous
Next: Left-linearity Up: Using Autowrite Previous: File Menu

Trs Menu

This menu gathers all commands related to the current TRS or to the left-handsides of the current TRS.

Subsections

Irene DURAND
2005-02-01