rollbacked the projections up to variable renamings and added a map for computed proofs in order not to compute more than once the same proof.
the variable renaming should be probably handled in prover9. I will add a normalization process there.


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


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