Delete rotation.ml