AddVo
AddVo
|
1.0
(100%)
|
AuthorListVo
AuthorListVo
|
1.0
(100%)
|
AuthorVo
AuthorVo
|
1.0
(100%)
|
AxiomVo
AxiomVo
|
1.0
(100%)
|
ChangedRuleListVo
ChangedRuleListVo
|
1.0
(100%)
|
ChangedRuleVo
ChangedRuleVo
|
1.0
(100%)
|
ChapterListVo
ChapterListVo
|
1.0
(100%)
|
ChapterVo
ChapterVo
|
1.0
(100%)
|
ConclusionVo
ConclusionVo
|
1.0
(100%)
|
ConditionalProofVo
ConditionalProofVo
|
1.0
(100%)
|
ExistentialVo
ExistentialVo
|
1.0
(100%)
|
FormalProofLineListVo
FormalProofLineListVo
|
1.0
(100%)
|
FormalProofLineVo
FormalProofLineVo
|
1.0
(100%)
|
FormalProofListVo
FormalProofListVo
|
1.0
(100%)
|
FormalProofVo
FormalProofVo
|
1.0
(100%)
|
FormulaVo
FormulaVo
|
1.0
(100%)
|
FunctionDefinitionVo
FunctionDefinitionVo
|
1.0
(100%)
|
HeaderVo
HeaderVo
|
1.0
(100%)
|
HypothesisVo
HypothesisVo
|
1.0
(100%)
|
ImportListVo
ImportListVo
|
1.0
(100%)
|
ImportVo
ImportVo
|
1.0
(100%)
|
InitialFunctionDefinitionVo
InitialFunctionDefinitionVo
|
1.0
(100%)
|
InitialPredicateDefinitionVo
InitialPredicateDefinitionVo
|
1.0
(100%)
|
LatexListVo
LatexListVo
|
1.0
(100%)
|
LatexVo
LatexVo
|
1.0
(100%)
|
LinkListVo
LinkListVo
|
1.0
(100%)
|
LiteratureItemListVo
LiteratureItemListVo
|
1.0
(100%)
|
LiteratureItemVo
LiteratureItemVo
|
1.0
(100%)
|
LocationListVo
LocationListVo
|
1.0
(100%)
|
LocationVo
LocationVo
|
1.0
(100%)
|
ModusPonensVo
ModusPonensVo
|
1.0
(100%)
|
NodeVo
NodeVo
|
1.0
(100%)
|
PredicateDefinitionVo
PredicateDefinitionVo
|
1.0
(100%)
|
ProofListVo
ProofListVo
|
1.0
(100%)
|
ProofVo
ProofVo
|
1.0
(100%)
|
PropositionVo
PropositionVo
|
1.0
(100%)
|
QedeqVo
QedeqVo
|
1.0
(100%)
|
RenameVo
RenameVo
|
1.0
(100%)
|
RuleVo
RuleVo
|
1.0
(100%)
|
SectionListVo
SectionListVo
|
1.0
(100%)
|
SectionVo
SectionVo
|
1.0
(100%)
|
SpecificationVo
SpecificationVo
|
1.0
(100%)
|
SubsectionListVo
SubsectionListVo
|
1.0
(100%)
|
SubsectionVo
SubsectionVo
|
1.0
(100%)
|
SubstFreeVo
SubstFreeVo
|
1.0
(100%)
|
SubstFuncVo
SubstFuncVo
|
1.0
(100%)
|
SubstPredVo
SubstPredVo
|
1.0
(100%)
|
TermVo
TermVo
|
1.0
(100%)
|
UniversalVo
UniversalVo
|
1.0
(100%)
|
UsedByListVo
UsedByListVo
|
1.0
(100%)
|