Fixed a bug in hol: Neutral element of And is TopC, not BottomC.
Fixed an omission in CNFp: Now handling the logical constants BottomC and TopC of hol.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1764 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Changes to code for computing instantiation. Does not work at the moment being that the whole file is being rewritten.



git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1765 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
more bugfixes in definition elimination; prooftool now also displays entries of the ProofDB (String,LKProof) directly from the commandline

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