t
Abs
App
E
expression
Var
t1
Arrow
t2
Arrow
threeLow
WrappedAlgorithmFactory
ThreePassLower
combinedRPILU
time
util
Timed
Timed
time
time
timeout
time
toImmutable
Substitution
toSet
Sequent
toSinglePositions
Position
toString
DeletableNode
OrdinaryNode
PseudoUnit
Report
WrappedAlgorithm
Abs
App
Arrow
AtomicType
i
o
Var
ASequent
NamedE
NaturalSequent
Sequent
LeftArrow
RightArrow
Input
L
Resolvent
Proof
Timed
TotalPosition
position
TwoAuxFormulas
sequent
typeAliases
oldResolution
typeToFormula
CurryHoward