Removed definitions.tex as it has been replaced.