Modify resolution section to reflect changes.
Apply substitutions recursively.
Add start of tableaux examlpe.
Make resolve_cnf complete.
Merge branch 'master' of github.com:winobes/modal-logic

Conflicts:
	reports/report.tex