Logos

Official logo files and usage rules for HOL bridges.