Some usability enhancements, in particular introduced some structure to
the CLI-help screen - constructive critisims and suggestions are welcome


git-svn-id: http://gapt.googlecode.com/svn/trunk@1113 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Integrated SLK parsing into the CLI.
Finished the SLK example "sEXP.lks".



git-svn-id: http://gapt.googlecode.com/svn/trunk@1114 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Some conflicts are resolved





git-svn-id: http://gapt.googlecode.com/svn/trunk@1115 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fix the previous commitment.





git-svn-id: http://gapt.googlecode.com/svn/trunk@1116 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Fixed after the small changes in schema.scala.
P.S. Stefan, this is related to the your remark from yesterday.





git-svn-id: http://gapt.googlecode.com/svn/trunk@1117 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
The same problem as in the prevoius commit has been fixed. 
P.S. The code should be splitted at some point.





git-svn-id: http://gapt.googlecode.com/svn/trunk@1118 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Exclude one of the redundant files for autoProp.





git-svn-id: http://gapt.googlecode.com/svn/trunk@1119 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
enhancements to CLI - moved AutoProp to top-level

git-svn-id: http://gapt.googlecode.com/svn/trunk@1120 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Some data structures for first-order schemata have been added. The unfolding of a
first-order schema proof was successfully tested with the term-rewriting system.
Some rules have been changed in a way that the term-rewriting system is applied to the
auxiliary formulas, i.e. modulo t.r.s.






git-svn-id: http://gapt.googlecode.com/svn/trunk@1121 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
A missing case for the non-schematic sequent has been added.
This is motivated by a discussion which I have with Stefan for the autoprop feature in iCERES.
We are very close to fix this problem in general.







git-svn-id: http://gapt.googlecode.com/svn/trunk@1122 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
The t.r.s is parsed





git-svn-id: http://gapt.googlecode.com/svn/trunk@1124 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
A few examples from FOL provided by Stefan have been tested successfully. 
This caused some failures to the schemata tests, but they are
fixed so far.






git-svn-id: http://gapt.googlecode.com/svn/trunk@1125 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
some small changes





git-svn-id: http://gapt.googlecode.com/svn/trunk@1126 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
this will fix Jenkins :)






git-svn-id: http://gapt.googlecode.com/svn/trunk@1127 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
This will fix Jenkins




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




git-svn-id: http://gapt.googlecode.com/svn/trunk@1129 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
The example from the journal paper. Later I will find a better name.





git-svn-id: http://gapt.googlecode.com/svn/trunk@1130 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
some indeces have been adjusted. The unfolding of the example is ready.






git-svn-id: http://gapt.googlecode.com/svn/trunk@1131 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
commenting out 2 lines which make Jenkins unstable.






git-svn-id: http://gapt.googlecode.com/svn/trunk@1132 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Some improvements for autopropositional 



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