adding missing target-directories to svn:ignore. After a fresh checkout and 'mvn install' the command 'svn status' should now display an empty list.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1494 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Proof-links were extended to handle the new formalism needed for the David's proof.





git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1495 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
a small bug is fixed.





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