Changes have been made the the input format for Slk so that proof links with eigenvariables and terms can be handle. Also the skeleton for unfolding schematic proofs has been updated


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1760 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
definition elimination works on a simple example, further testing needed

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1761 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Working towards schema instance expansion for the new schema calculus.


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