i
expression
immutable
substitution
judgment
Imp
formula
ImpElim
natural
ImpElimC
natural
ImpElimCArrow
natural
ImpIntro
natural
ImpIntroC
natural
ImpIntroCK
natural
ImpIntroCRule
natural
ImplicitContraction
sequent
implies
RichFormula
InAnt
sequent
IndexedPosition
position
InexistentPositionException
position
InferenceRule
prover
Infix
expression
init
CompositeMeasure
DumbMeasure
Measure
NoStateMeasure
PercentMeasure
input
ProofParser
SimplePropositionalResolutionProofFormatParser
oldResolution
InSuc
sequent
intersect
Regularization
SetSequent
Intersection
compressor
IntListPosition
position
IntuitionisticSoundnessCondition
natural
IrregularUnits
combinedRPILU
irunLow
WrappedAlgorithmFactory
irunReg
WrappedAlgorithmFactory
isBelow
Proof
isEmpty
ProofNodeCollection
isomorphismCurryHoward
natural
isPositiveIn
IntListPosition
isPseudoUnit
pseudoUnits
isRegular
Regularization
isSearchedExpression
PredicatePosition
isUnit
AbstractRPILUAlgorithm
iterator
Report
Substitution
Substitution
ProofNodeCollection