Added new directives
Some more proofs were done
fix bib target
More text to the thesis
Auxiliar definitions