The Internode Mirror contains a wide selection of software for download by Internode customers.
File Download Mirror Directory Listing
Index of /pub/ctan/obsolete/macros/generic/proofs/taylor/
Index of /pub/ctan/obsolete/macros/generic/proofs/taylor/