SearchForEmptyClauseCommand
SequentsListLatexExporter
SetClauseWithProofCommand
SetClausesFromDataCommand
SimpleBackwardSubsumptionCommand
SimpleForwardSubsumptionCommand
SimpleRefinementGetCommand
SimpleResolutionParserFOL
SipGrammarMinimizationFormula
SquareDiagonalExampleProof
SquareEdges2DimExampleProof
StillmanSubsumptionAlgorithmFOL
StillmanSubsumptionAlgorithmHOL
StringIndexOutOfBoundsException
SubsumedTargedReachedCommand
SubsumedTargedSetFromClauseSetCommand
simpleUnitResolutionNormalization
stripUniversalQuantifiers
structToLabelledClausesList
subsumedClausesRemovalHOL