/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