Removed skipping of a some test cases in MiscTest. This should resolve issue 253.


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


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2289 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Remove unused trait Occurrence.


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


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2292 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Added a verbosity argument to cut introduction that is true when called from cli and false when called in tests.


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

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


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2301 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Remove unit argument from toFSequent.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2302 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Make many prover9 methods private.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2304 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Improved documentation for MultiExpansionTrees


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2305 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Improved Gentzen cut-elim scaladoc.


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


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

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


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2310 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Turn occurrences object into to a package.


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