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