Quote:
Originally Posted by TCD
I can't find the scans on the HOL contribution FTP. Could you double check where you uploaded them to?
|
Maybe I uploaded them to the wrong FTP. It was the contrib.softpres.org one.
But try here:
https://www.dropbox.com/sh/pyrw8s7vw...9bKh5aJIa?dl=0