Package

at.logic.gapt.proofs

epsilon

Permalink

package epsilon

Visibility
  1. Public
  2. All

Type Members

  1. case class CriticalFormula(existential: HOLFormula, term: LambdaExpression) extends Product with Serializable

    Permalink
  2. case class EpsilonProof(criticalFormula: Seq[CriticalFormula], shallow: HOLSequent) extends Product with Serializable

    Permalink

Value Members

  1. object Epsilon

    Permalink
  2. object EpsilonC extends LogicalC

    Permalink
  3. object ExpansionProofToEpsilon

    Permalink
  4. object epsilonize

    Permalink

Ungrouped