Sunset Tree

Package hol-res-quan-1.1

Information

versions1.0 1.1
descriptionHOL theory about restricted quantifiers
authorHOL OpenTheory Packager <opentheory-packager@hol-theorem-prover.org>
licenseMIT
installed04:33:03 on Wednesday 8 June 2016

For more details see the package document.