Gilith OpenTheory Repo

packages   •   recent   •   upload

Package bool-def-1.0

Information

For more details see the package document.

Includes

• bool-def-and-1.0 — bool-def-and
• bool-def-cond-1.0 — bool-def-cond
• bool-def-exists-1.0 — bool-def-exists
• bool-def-exists-unique-1.0 — bool-def-exists-unique
• bool-def-false-1.0 — bool-def-false
• bool-def-forall-1.0 — bool-def-forall
• bool-def-imp-1.0 — bool-def-imp
• bool-def-let-1.0 — bool-def-let
• bool-def-not-1.0 — bool-def-not
• bool-def-or-1.0 — bool-def-or
• bool-def-true-1.0 — bool-def-true

Included By

• bool-1.0 — Basic boolean theory