Sunset Tree

Package hol-base-1.2

Information

versions1.01.1 1.2
descriptionHOL basic theories
authorHOL OpenTheory Packager <opentheory-packager@hol-theorem-prover.org>
licenseMIT
installed07:03:25 on Tuesday 23 August 2016

For more details see the package document.