18.
2.
3 Renaming a definition
The activated definition can be renamed. This is effected by clicking
Rename
.