Dependencies for beautifHOL-0.11

beautifHOL