Sunset Tree

Package hol-string-1.0

Information

versions1.0  1.1
descriptionHOL string theories
authorHOL developers <hol-developers@lists.sourceforge.net>
licenseMIT
installed19:13:47 on Tuesday 5 April 2016

For more details see the package document.