de.uka.ilkd.key.taclettranslation
Interfaces
SkeletonGenerator
TacletFormula
TacletTranslator
Classes
DefaultTacletTranslator
TacletVisitor
Exceptions
IllegalTacletException