at
.
logic
.
gapt
.
proofs
epsilon
package
epsilon
Visibility
Public
All
Type Members
case class
CriticalFormula
(
existential:
HOLFormula
,
term:
LambdaExpression
)
extends
Product
with
Serializable
case class
EpsilonProof
(
criticalFormula:
Seq
[
CriticalFormula
]
,
shallow:
HOLSequent
)
extends
Product
with
Serializable
Value Members
object
Epsilon
object
EpsilonC
extends
LogicalC
object
ExpansionProofToEpsilon
object
epsilonize
Ungrouped