Some small changes.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1542 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
removed 2 occurrences of absinscope, normalizeClauses(List(FSequent(Nil,((parse p9 "(all x P(x)) & (all x P(x))"))::Nil))) loops, so the bug is not yet fixed

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1544 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
In ProofTool was added a special case which calls the new parser for
the file David.lks







git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1545 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
A source file of the new parser. All proofs can be seen in ProofTool as usual.







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