| Name | Size | Mode | Actions |
|---|---|---|---|
| core.cpython-36.pyc | 2367 | 0644 | editdlrm |
| dispatch.cpython-36.pyc | 310 | 0644 | editdlrm |
| match.cpython-36.pyc | 4495 | 0644 | editdlrm |
| more.cpython-36.pyc | 3419 | 0644 | editdlrm |
| unification_tools.cpython-36.pyc | 11069 | 0644 | editdlrm |
| utils.cpython-36.pyc | 3226 | 0644 | editdlrm |
| variable.cpython-36.pyc | 2650 | 0644 | editdlrm |
| __init__.cpython-36.pyc | 358 | 0644 | editdlrm |