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