Packages

package epsilon

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class CriticalFormula (existential: Formula, term: Expr) extends Product with Serializable
  2. case class EpsilonProof (criticalFormula: Seq[CriticalFormula], shallow: HOLSequent) extends Product with Serializable

Ungrouped