|
AuthorHandler
(85,2%) AuthorListHandler (84%) AxiomHandler (65,7%) ChapterHandler (91,1%) FormulaOrTermHandler (84%) FunctionDefinitionHandler (76,7%) HeaderHandler (94,4%) ImportListHandler (85,2%) LatexHandler (78,1%) LatexListHandler (79,3%) LiteratureItemHandler (81%) LiteratureItemListHandler (84%) NodeHandler (96%) PredicateDefinitionHandler (76,7%) ProofHandler (80%) PropositionHandler (90,9%) QedeqHandler (90,9%) RuleHandler (68,6%) SectionHandler (91,1%) SpecificationHandler (90,5%) SubsectionHandler (89,5%) SubsectionListHandler (88,2%) UsedByListHandler (84%) VariableListHandler (84,6%) |