seqMeasurer
MeasurerFactory
Sequent
judgment
proof
SequentProof
sequent
SetSequent
immutable
mutable
sideOf
AbstractRPILUAlgorithm
SimpleOldAlgorithm
WrappedAlgorithmFactory
SimplePropositionalResolutionProofFormatParser
parser
SimpleProver
prover
SimpleSequentAlgorithm
WrappedAlgorithmFactory
SingleAuxFormula
sequent
SingleMainFormula
sequent
SinglePosition
position
size
Abs
App
Arrow
Atomic
E
T
Var
ASequent
Judgment
NamedE
NaturalSequent
Sequent
ProofNodeCollection
sizeRPI
WrappedAlgorithmFactory
sizeRPIr
WrappedAlgorithmFactory
skeptik
logic
stringPrefix
Substitution
Substitution
subproof
ProofParser
SimplePropositionalResolutionProofFormatParser
Substitution
expression
immutable
mutable
suc
ASequent
SetSequent
SetSequent
Sequent
supersequentOf
Sequent