Small fixes for MultiExpansionTrees.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2317 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Replaced all uses of "Pair" with "Tuple2"


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2318 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Cleaned up code in order to reduce mvn compile warnings.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2319 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
fixed a bug in replay, ivy tests commented in, fixed a bug in hol2fol, made apply methods of hol2fol public again(they are necessary to pass the context, see also scaladoc now), fixed a bug in replaceAbstractions. added an integration test for the HOL tape proof.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2320 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
changed minisat test s.t. the test output will tell us which instance failed. during the last compiles, the pigeonhole principle test case first passed, then failed, passed again and atm fails.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2321 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Started to add support for positions in formulas.


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