You can compile GL4 programs all day long. Totally independent of what graphics hardware you may or may not have. Hell, you can cross-compile Win32 OpenGL programs from a headless Linux box using MinGW if you really wanted to!
Whether or not you can run those programs is a function of your GL implementation.
Wiki claims you can do GL 4.0 with your HD 4000 on Windows.