Sunset Tree

Package hol-res-quan-1.0

Information

versions1.0  1.1
descriptionHOL theory about restricted quantifiers
authorHOL developers <hol-developers@lists.sourceforge.net>
licenseMIT
installed08:37:28 on Friday 13 May 2016

For more details see the package document.