Sunset Tree

Package bool-ext-1.10

Information

versions1.0→ ··· →1.7→1.8→ 1.10 → 1.12
descriptionExtensional boolean theorems
authorJoe Leslie-Hurd <joe@gilith.com>
licenseHOLLight
installed20:22:19 on Saturday 29 September 2012

For more details see the package document.

Included By

  • bool-1.29 — Boolean operators and quantifiers
  • bool-1.31 — Boolean operators and quantifiers
  • bool-1.32 — Boolean operators and quantifiers