Sunset Tree

Package bool-ext-1.8

Information

versions1.0→ ··· →1.5→1.7→ 1.8 →1.10→ 1.12
descriptionExtensional boolean theorems
authorJoe Hurd <joe@gilith.com>
licenseHOLLight
installed22:01:26 on Monday 26 March 2012

For more details see the package document.

Included By

  • bool-1.25 — Boolean operators and quantifiers