The simple_schema_test was renamed to the schema_test, because it is not so 
simple any more.





git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1524 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
A new integration test for general testing of LKProofs was added (i.e. parsing an LKProof, 
computing the ccl, projections, ACNF, etc.). 





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