another combinators for comparisons
in NPDTree, do not capture Not_found that could be raised by the
user callback
redundant cli option
Unif: equality up to substitution implemented
printer hooks in formulas
enable bin_annot
fix arith_hook printer in FOTerm
bugfix: FOTerm.head
more general arith printer
function Comparison.dominates
fix in Comparison.@>>
better printing of FO substitutions
Better printing of substitutions
add a ForallTy constructor for Formula
bugfix in cnf
merge ForallTy constructor
Unif: equality up to substitution implemented
fix Unif.Unary.eq
fix Unif.Unary.eq
version