* Replaced foldRight with map and filter when building the proofs from the smallest grammars in cutIntroducton.scala.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1620 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
incorprated olivier's patch pushing to scala 2.10.2 - thanks a lot! (also removed a warning about using variables for the versions of cli and prooftool)

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