Package bool-int-true: bool-int-true
Information
name
bool-int-true
version
1.0
description
bool-int-true
author
Joe Hurd <joe@gilith.com>
license
HOLLight
provenance
HOL Light theory extracted on 2011-02-19
show
Data.Bool
Files
Package tarball
bool-int-true-1.0.tgz
Theory file
bool-int-true.thy
(included in the package tarball)
Theorem
⊦
T
Input Type Operators
→
bool
Input Constants
=
Data
Bool
T
Assumption
⊦
T
⇔
(
λ
p
.
p
)
=
λ
p
.
p