Dependencies for beautifHOL-0.11

Executables

beautifHOL