Sunset Tree

Package bool-ext-1.7

Information

versions1.11.5 1.7 1.81.10 1.12
descriptionExtensional boolean theorems
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed21:39:09 on Thursday 1 December 2011

For more details see the package document.

Included By

  • bool-1.19 — Boolean operators and quantifiers
  • bool-1.23 — Boolean operators and quantifiers
  • bool-1.24 — Boolean operators and quantifiers