Hi gal_vnv - thanks for the contributions.
You can upload files in a few different ways:
The Zone - see the buttons at the top right hand corner of this webpage. The Zone is a temporary storage section.
HOL FTP - there is an FTP for contributing to the HOL:
Address = abime.net
Port = 21
U = hol
Password = incoming
Email - my email address is
cody@abime.net
Can you also upload the ADF too? Thanks!