package epsilon
Ordering
- Alphabetic
Visibility
- Public
- All
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