tree b3db5c1bac0d23678b5f21f2b7e4d81b4c347228
parent c22e79d8f7231dd70d49bd26b64e877c3436ba7c
author Joachim Bingel <joa.bingel@gmail.com> 1402056406 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1402056406 +0000

disjunction operator precedence