I found this in an old archive, it's not my scan and I don't have any idea from where it came from...
As you can see it's not of good quality, however it's better than nothing...
I don't know if this could be qualified for uploading to HOL.
The HOL gurus should decide...
