Delete Implementation.aux