| commit | 67976f03a00a342ccb81daf0e14684f48b441101 | [log] [tgz] |
|---|---|---|
| author | Joachim Bingel <joa.bingel@gmail.com> | Mon Jun 23 14:23:45 2014 +0000 |
| committer | Joachim Bingel <joa.bingel@gmail.com> | Mon Jun 23 14:23:45 2014 +0000 |
| tree | 467f9a7a6858744ed9b1d904da8a74fcda1c8802 | |
| parent | 9c3ddb959fb026a7d69e9c260ffa7ed310a6ab0a [diff] |
multiple predications are now being nested, using focus