modified:   definition_parser.py - unification inside a definition is partly implemented, but not done,   so not yet used
modified:   definition_parser.py
- unification inside a definition is partly implemented, but not done,
  so not yet used

recski/pymachine,kornai/pymachine,kornai/pymachine,Eszti/pymachine,recski/pymachine,Eszti/pymachine