HOFunctionReduction
reduction
HOLAtom
expr
HOLAtomConst
expr
HOLClause
proofs
HOLFormula
expr
HOLFormulaClosedUnderFOLSub
expr
HOLFormulaClosedUnderSub
expr
HOLFunction
expr
HOLOrdering
hol
HOLPartialAtom
expr
HOLPosition
hol
HOLSequent
proofs
HOLTermExporter
formats
HOLTermLatexExporter
latex
HPath
LKToLKsk
HPathsSequent
LKToLKsk
HeuristicSolutionFinder
viper
HideEndSequent
prooftool
HideLeaf
prooftool
HideProof
prooftool
HideSequentProof
prooftool
HideStructuralRules
prooftool
HideTree
prooftool
HybridLatexParserException
llk
hSolveQBUP
viper
handleAxiom
StructCreators
handleBinaryCutAnc
Projections
Projections
handleBinaryESAnc
Projections
Projections
handleBinaryLogicalOperator
TokenToLKConverter
handleBinaryRule
Projections
Projections
handleContraction
TokenToLKConverter
handleContractionRule
Projections
Projections
handleCut
TokenToLKConverter
handleDefRule
Projections
Projections
handleDefinitions
TokenToLKConverter
handleEQAxiom
TokenToLKConverter
handleEqRule
Projections
Projections
handleEquality
TokenToLKConverter
handleInstAxiom
TokenToLKConverter
handleLink
TokenToLKConverter
handleNegRule
Projections
Projections
handleNegation
TokenToLKConverter
handleSkQuantRule
Projections
handleStrongQuantRule
Projections
Projections
handleStrongQuantifier
TokenToLKConverter
handleStrongSkQuantRule
Projections
handleUnaryLogicalOperator
TokenToLKConverter
handleUnaryRule
Projections
Projections
handleWeakQuantRule
Projections
Projections
handleWeakQuantifier
TokenToLKConverter
handleWeakening
TokenToLKConverter
handleWeakeningRule
Projections
Projections
hashCode
Abs
App
Const
LambdaPosition
Substitution
Var
FOLPosition
HOLPosition
DagProof
Cls
hc
TseitinCNF
head
LambdaPosition
FOLPosition
HOLPosition
headOption
LambdaPosition
FOLPosition
HOLPosition
header
VeriTParser
help
utils
hideContexts
DrawSequentProof
hideContextsButton
LKProofViewer
MenuButtons
hideSequentContext
ContainsLKProof
SequentProofViewer
hideStructuralRules
ContainsLKProof
LKProofViewer
LKskProofViewer
hideStructuralRulesButton
LKProofViewer
MenuButtons
highestNTIndex
ReforestState
highlightColor
DrawExpansionTree
histogram
ProofWeighter
hoa
ExpressionParseHelper
hoare
examples
formats
proofs
hoc
ExpressionParseHelper
hof
ExpressionParseHelper
short
hol
expr
hole
PigeonHolePrinciple
homES
prototype
homogenizeRS
viper
hot
short
hov
ExpressionParseHelper
hygienic
TermReplacement
hyp
ChainTactic
hypVars
InductionCase
hypotheses
InductionCase