These file were generated by the glLoadGen OpenGL loader generator and have been checked in as-is. You can re-generate them using version 2.0.2 of glLoadGen and executing the following command:
lua LoadGen.lua -version 3.2 -profile core -indent space 3_2_core