package epsilon
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- case class CriticalFormula(existential: Formula, term: Expr) 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
This is the API documentation for GAPT.
The main package is gapt.