tree 467f9a7a6858744ed9b1d904da8a74fcda1c8802
parent 9c3ddb959fb026a7d69e9c260ffa7ed310a6ab0a
author Joachim Bingel <joa.bingel@gmail.com> 1403533425 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1403533425 +0000

multiple predications are now being nested, using focus