bugfix in hol: parse "(\x F(x)) s" match { case Atom(_,_) => ... } does not throw an exception anymore. added undoReplaceAbstractions to reverse replaceAbstractions. some more bugfixes.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2200 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Cleaned up the decompressQuantifiers algorithm a little.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2202 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Implementing a continuation-passing-style version of the algorithm for removing redundant structural rules.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2203 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixes issue 229. Once and for all. Using TailCall to make the conpliler optimize a tree recursion using continuation-passing-style.

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