pasta do relatorio em Latex
Merge branch 'ep1.2' of github.com:fllsouto/MAC0219-Metodos-Formais into ep1.2
Merge branch 'ep1.2' of github.com:fllsouto/MAC0219-Metodos-Formais into ep1.2
retirado as funcoes comentadas