Merge branch 'aconjunctive'

HACKING

Makefile

_oasis

src/coalg/coalg.ml

src/coalgcompare/coalgcompare.ml

src/debugger/debugger.ml

src/lib/CoAlgFormula.ml

src/lib/CoAlgFormula.mli

src/lib/CoAlgMisc.ml

src/lib/CoAlgMisc.mli

src/lib/CoAlgReasoner.ml

src/lib/CoAlgReasoner.mli

src/lib/CoolUtils.ml

src/lib/CoolUtils.mli

src/owl/cool-owl.ml

src/testsuite/Testsuite.ml

src/testsuite/Testsuite.mli

src/testsuite/cool-testsuite.ml

src/unit-tests/CoAlgFormula_tests.ml

src/unit-tests/CoAlgFormula_tests.mli