Fix TPTP output for tptp_to_ladr.

tptp_to_ladr doesn't seem to like ~! [X0] ...

git-svn-id: http://gapt.googlecode.com/svn/trunk@2080 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Add integration test for negated quantifiers in TPTP output for tptp_to_ladr.

git-svn-id: http://gapt.googlecode.com/svn/trunk@2081 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Add missing paren.

git-svn-id: http://gapt.googlecode.com/svn/trunk@2082 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Merge remote-tracking branch 'svn/trunk'

Conflicts:
	source/parsing/tptp_parsing/src/main/scala/at/logic/parsing/language/tptp/TPTPFOLExporter.scala