Added missing file definicoes.tex