Sunset Tree

Package hol-base-1.0

Information

versions1.0 1.1 1.2
descriptionHOL basic theories
authorHOL developers <hol-developers@lists.sourceforge.net>
licenseMIT
installed05:21:32 on Tuesday 5 April 2016

For more details see the package document.