Sunset Tree

Package bool-ext-1.8

Information

versions1.1→1.5→1.7→ 1.8 →1.10→ 1.12
descriptionExtensional boolean theorems
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed23:10:36 on Monday 26 March 2012

For more details see the package document.

Included By

  • bool-1.25 — Boolean operators and quantifiers