1.00.00
AddAxiom
AddSentence
Generalization
ModusPonens
Particularization
RenameBoundSubjectVariable
RenameFreeSubjectVariable
ReplacePredicateVariable
ReplacePropositionVariable
ReverseAbbreviation
UseAbbreviation

1.00.01
HypotheticalSyllogism

1.00.02
RightAddition

1.01.00
SubstLine

1.01.01
ApplyAxiom
ApplySentence

1.02.00
ElementaryEquivalence

1.02.01
ConjunctionRule