Fixes issue 244. The equational and definition rules were added to the clone method.







git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1592 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added cloning to the generation of LK proofs from resolution ones


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1593 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Quantifier rules were added to the clone method.





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