>I was looking for a driver for HP Deskjet 712c for Windows 7 64-bit and somewhere on HP site read that the driver is already included in Windows 7. If so, do you know where such driver (.inf file) can be found on the computer?
>
>TIA.

Do you know the exact name of the file? I searched by *.inf and I see a lot of such files in various places.