Delete impl.txt