de.uka.ilkd.key.proof.mgt

Interfaces

• ComplexRuleJustification
• ProofEnvironmentListener
• RuleJustification
• TaskTreeNode

Classes

• AxiomJustification
• BasicTask
• ComplexRuleJustificationBySpec
• EnvNode
• LemmaJustification
• ProofAggregateTask
• ProofCorrectnessMgt
• ProofEnvironment
• ProofEnvironmentEvent
• RuleJustificationByAddRules
• RuleJustificationBySpec
• RuleJustificationInfo
• SpecificationRepository
• TaskTreeModel

Enums

• ProofStatus