hashCode
DeletableNode
OrdinaryNode
PseudoUnit
Abs
App
Arrow
AtomicType
i
o
Var
ASequent
NamedE
NaturalSequent
Sequent
LeftArrow
RightArrow
L
Timed
head
ProofNodeCollection
help
skeptik
heuristicChoose
AbstractRPILUAlgorithm
LeftHeuristic
MinConclusionHeuristic
MinProofHeuristic