Moved EL with negation into an appendix - moved some lemma proofs into the appendix (trying to get the main doc shorter and tighter)
Merge branch 'master' of github.com:RichardEvans/EL