Documents

From HOL Wiki

Some documents from the history of HOL, sorted by date

• June 2001 - HOL Teaser
  The first announcement for HOL on hpgalleries.com, published on June 3rd, 2001.
• July 2001 - Professors Newsletter July 2001
  First info for new professors, sent on July 13th, 2001.