Having looked on HOL, the closest thing I can find to your request is this:
http://hol.abime.net/5866
If this
is the one you're after then you can find it on
http://www.planetemu.net - I'm not sure if I'm allowed to link to it here, but it's pretty easy to find...