/test/regress/regress0/precedence/

• ../
• Makefile
• Makefile.am
• and-not.cvc
• and-xor.cvc
• bool-cmp.cvc
• cmp-plus.cvc
• eq-fun.cvc
• iff-assoc.cvc
• iff-implies.cvc
• implies-assoc.cvc
• implies-iff.cvc
• implies-or.cvc
• not-and.cvc
• not-eq.cvc
• or-implies.cvc
• or-xor.cvc
• plus-mult.cvc
• xor-and.cvc
• xor-assoc.cvc
• xor-or.cvc