Renaming file and class for the Formula coq8.3pl5

Corrected the filename and the class inside it as I had mixed files in the previous commit.