IsIndex
gapt.proofs.IndexOrFormula.IsIndex
case class IsIndex(index: SequentIndex) extends IndexOrFormula
Attributes
- Source
- IndexOrFormula.scala
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait IndexOrFormulaclass Objecttrait Matchableclass Any
Members list
In this article