Update ios_implementation.tex