Changed the type of the term set from FormulaOccurrence to FOLFormula.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1490 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
The step case of the proof \varphi was completely changed. There is a problem
with the eigenvaribla condition and the hyper-variables in the schematic atoms
which will be fixed soon. This is why the hyper-variables are not visible yet.







git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1491 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
With the new hyper-eigen-variables it is not possible yet to extract the 
schematic struct in the David's example.






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