Added proof sequence showing the equality of the head- and tail-recursive definition of the factorial function


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1708 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
some changes in the llk exporter to accept the prime proof, forgot to add the file

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1709 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
can now load exported prime1-2 llk back into the system

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1710 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
changes to allow 'mvn install' on a system without prover9

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1713 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Adding latest results for verit proofs. Most proofs are parsed now.

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