Removed old title in header of coq files