Bugfix for generalized cut introduction - deltaG and the the delta table now work correctly. The grammar computation is still faulty.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1657 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixed the generalized extended Herbrand sequent and generalized cut introduction. cutIntroG does not work due to a strange bug related to at.logic.algorithms.lk.SolvePropositional, wherein success or failure seems to depend on the variable names occurring in a sequent.

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