tree 1c41a7cd139d92337774b9d4d0ce0e772ec57b27
parent c273a44e47bcc23ecf3990726c137cc3dc7c0b0d
author Joachim Bingel <joa.bingel@gmail.com> 1422283416 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1422283416 +0000

wrap term in PQ+ relation