* Bugfix cut introduction with multiple variables: in folding the delta table, the number of variables in a substitution were counted instead of the number of covered terms that were covered.

* Added traces regarding the folding of the delta table to cutIntro.
* Added the commands computeGrammarsG, seeNFirstGrammarsG, generateGeneralizedExtendedHerbrandSequent to the interactive shell. There are analogous to their existing counterparts.
* Sanitized the variables of the cut formula for cutIntroG: the first six universally quantified variables are now called x,y,z,u,v,w instead of x_0,...,x_5.
* Wrote unit tests for deltaG.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1701 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
llk support for proof links (with substitution) and (still buggy) equation rules.

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