Sunset Tree

Package hol-ring-1.0

Information

versions1.0  1.1
descriptionHOL ring theories
authorHOL developers <hol-developers@lists.sourceforge.net>
licenseMIT
installed06:36:51 on Friday 13 May 2016

For more details see the package document.