* Added doc/deltavector.tex, describing cut-formulas with multiple universal quantifiers.
* Deleted cutIntro2 and findValidGrammars2 (both faulty); renamed cutIntro3 to cutIntro2.

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