Adding EquationalProver and VeriTProver.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1809 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Changing pom files... my bad. This should fix the compilation.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1810 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
adding method to check for equational reasoning in a proof

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1811 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
separated abstraction replacement from hol2fol, but the constructors of hol2fol still do both. since hol2fol also changes function variables to constants etc, there is a second method which only converts if the input is a pure fol formula. fixed a bug in SimplifyStruct, added code to latex exporter s.t. the types of the variables and constants is printed as an appendix, cli now has exportLatex for fsequent lists.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1812 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Equality atoms in the proof sequences use the correct equality constant now (instead of some predicate with ConstantStringSymbol("=")).
Fixes issue 251.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1813 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Adding the dependencies for verit and eqProver to cli. Commenting the veriT test so that it does not throw an error in machines where this is not installed.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1814 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixing eqProver's pom and the test for verit.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1815 85d21ef8-add0-11de-ae77-5bfb9c5a3f34