The proof of the main lemma in the David's proof is almost complete.




 


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1464 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
prooftool and cli still referred to old package of ivy (it is now in at.logic.parsing.ivy._ )

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1465 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
fixed algorithms pom file

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1466 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Finished typing up the new schematic p-adic lemma. The proof is in David.lks.
I did not name the file by the way.



git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1467 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
The place of this file is not here. 





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