* Added a new, more efficient version of cutIntro which does not perform redundant resolutions in ExtendedHerbrandSequent.improveSolution. For the time being, the new version is called cutIntro2 and the old one has been left as is. Based on a sample of example proofs, cutIntro2's running time is about 20-30% faster than that of cutIntro.

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