D
SExpressionParser
DEBUG
Main
DFS
SearchAlgorithms
DFSColl
searchAlgorithms
DIMACSHelper
dimacs
DNFn
hol
DNFp
hol
DOT
tokens
DagProof
proofs
DataCommand
base
DeclarationParser
hlk
DefinitionElimination
rewriting
DefinitionLeftRule
lk
DefinitionLeftRuleType
lk
DefinitionRightRule
lk
DefinitionRightRuleType
lk
Definitions
ExtendedProofDatabase ProofDatabase atp streams
DefinitionsMap
DefinitionElimination
DeleteRedundantSequents
projections
DeleteReduntantFOfromSequent
projections
DeleteTautology
projections
Delta
fol
DeltaTable
cutIntroduction
DeltaTableException
cutIntroduction
DeltaTableMethod
cutIntroduction
DeltaVector
cutIntroduction
Deltas
cutIntroduction
DeterministicAndCommand
logical
DeterministicMacroCommand
logical
Different
EquationVerifier
DiophantineSolver
unification
DisableMenus
prooftool
DrawExpSeqLogger
prooftool
DrawExpansionSequent
prooftool
DrawExpansionTree
prooftool
DrawList
prooftool
DrawProof
prooftool
DrawResolutionProof
prooftool
DrawSequent
prooftool
DrawSingleSequentInference
prooftool
DrawTree
prooftool
Dual
struct
DualC
structToExpressionTree
DualSymbol
structToExpressionTree
d
BussTautology HOLASTParser HybridLatexParser
dagLikeForeach
DagProof
dagLikePostOrder
DagProof
data
CollectMetrics
datas
SequentsMacroCommand
db
Main
dbTRS
schema
dbTRSclauseSchema
clauseSchema
dbTRSclauseSetTerm
clauseSchema
dbTRSsTermN
clauseSchema
dbl_impl
LeanCoPParser TPTPParser
deComposeSClause
clauseSchema
debug
IvyToRobinson SExpressionParser Logger
debugr
ParseResSchema ParseResSchemaDavid
decl
HybridLatexParser
declaration
DeclarationParser
declaration_list
DeclarationParser
declaredformula
DeclarationParser
decltype
TToken
decode
InstanceTermEncoding
decodeOption
InstanceTermEncoding
decodeSipGrammar
inductionProver
decodeToExpansionSequent
InstanceTermEncoding
decodeToFSequent
InstanceTermEncoding
decompressQuantifiers
expansionTrees
defaultFontSize
Main
defaultFormulaOccurrenceFactory
occurrences
defaultsymbols
DeclarationParser
defineremove
shlk
definesFOLPosition
FOLPosition
definesHOLPosition
HOLPosition
definitionElimination
GAPScalaInteractiveShellLibrary
definitions_
findDefinitions
defs
ElimEx
delete
Sequent
deleteEquationalTautologies
GAPScalaInteractiveShellLibrary
deleteTautologies
GAPScalaInteractiveShellLibrary lk
deselect
NumLabel
diff
Sequent
diffModuloOccurrence
ceres_omega
differingPositions
LambdaPosition FOLPosition HOLPosition
dimacs
formats
dis_or_con
HOLASTParser Prover9TermParserA
disjunction
HOLASTParser LatexReplacementParser Prover9TermParserA
disjunctions
InferenceExtractor
display
Main
displaySunburst
Main
dispose
MenuScroller
distinct
Sequent
distinct3rd
ListSupport
div_sym
Prover9TermParserA
divisibleBy
MathHelperFunctions
dnLine
ProjectionTermToSetOfProofs getCutAncestors Main fvarInvariantMSEqualityEQ
document
ProofToLatexExporter
domain
Substitution
drawDefinition
DrawList
drawFormula
DrawExpansionTree
drawMatrix
DrawExpansionTree
drawTerms
DrawExpansionTree
drawnTrees
TreeListPanel
ds
utils
dssupport
utils
dualize
hol
dumpreader
SExpressionParser
duration
TimeOutException