This is a all the programming work done whilst on vacation. I am close to 
being able to unfold schematic proofs and I reimplemented Cventan's parser 
as well as generalizing it. It is easier to change now and is way more compact.
About 50% less code. 


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1790 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Many problems with the schema layer of the code. Reverted to a complete 
HOL implementation of the schematic parser. Will make implementation of 
unfolding schematic proof extremely simple and efficient. 


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1791 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
the project should compile again. david, please check, if the parser should always generate an IntVar  in SCHOLParser.scala line 92

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