de.uka.ilkd.key.taclettranslation

Interfaces

• SkeletonGenerator
• TacletFormula
• TacletTranslator

Classes

• AbstractSkeletonGenerator
• DefaultTacletTranslator
• TacletVisitor

Enums

• DefaultTacletTranslator.TacletSections

Exceptions

• IllegalTacletException