Sunset Tree

Package hol-base-1.1

Information

versions1.0 1.1  1.2
descriptionHOL basic theories
authorHOL OpenTheory Packager <opentheory-packager@hol-theorem-prover.org>
licenseMIT
installed07:00:18 on Tuesday 7 June 2016

For more details see the package document.