Fixed editing of:
- Axiomatic Defs
- Operations
- State