These files were generated by the glad OpenGL loader generator and have been checked in as-is. You can re-generate them using glad with the following command:
python -m glad --profile core --out-path glad/ --api gl=3.3,gles=3.0