?
you can found extension documentation detailed by Mark kilgards right here http://www.opengl.org/developers/code/features/OGLextensions/OGLextensions.html
and to download the header ,you can goto the sgi extension registry at http://oss.sgi.com/projects/ogl-sample/registry/
look and find glext.h