Dependencies for beautifHOL-0.1

Executables

beautifHOL