| commit | a6bf8d8369f5c2a28b81e9f3276a3048742d718c | [log] [tgz] |
|---|---|---|
| author | Joachim Bingel <joa.bingel@gmail.com> | Mon Jan 26 14:43:36 2015 +0000 |
| committer | Joachim Bingel <joa.bingel@gmail.com> | Mon Jan 26 14:43:36 2015 +0000 |
| tree | 1c41a7cd139d92337774b9d4d0ce0e772ec57b27 | |
| parent | c273a44e47bcc23ecf3990726c137cc3dc7c0b0d [diff] |
wrap term in PQ+ relation