Added Tauto.v to the repository (this should have been done with the
previous commit).