Merge branch 'dev'
merge from dev: bugfix in cnf
Merge branch 'dev', with bugfixes and API change for Index.ClauseIndex
Merge branch 'dev'
add a ForallTy constructor for Formula
bugfix in cnf
Unif: equality up to substitution implemented
fix Unif.Unary.eq
version
bugfix in Formula.simplify
0.3.4
bugfix: do not rename variables for skolemized formulas (otherwise
variables wont match)
version 0.3.5
merge from bugfix
small merge glitch
merge from dev
target in makefile to fetch submodules
fix issues with build system (solving flag)
version 0.4-dev; use compiled setup
logtk_parsers depends on menhir as a build tool