Package bool-true: The Boolean true constant
Information
name | bool-true |
version | 1.0 |
description | The Boolean true constant |
author | Joe Leslie-Hurd <joe@gilith.com> |
license | MIT |
checksum | 8c440dee9cdf5f246d69ccfbdaa6db9c5209ddac |
show | Data.Bool |
Files
- Package tarball bool-true-1.0.tgz
- Theory source file bool-true.thy (included in the package tarball)
Defined Constant
- Data
- Bool
- ⊤
- Bool
Theorems
⊦ ⊤
⊦ ⊤ ⇔ (λp. p) = λp. p
External Type Operators
- →
- bool
External Constant
- =