de.uka.ilkd.key.taclettranslation.lemma

Interfaces

• LemmaGenerator
• TacletSoundnessPOLoader.LoaderListener
• TacletSoundnessPOLoader.TacletFilter

Classes

• AutomaticProver
• DefaultLemmaGenerator
• EmptyEnvInput
• GenericRemovingLemmaGenerator
• LemmaFormula
• ProofObligationCreator
• TacletLoader
• TacletLoader.KeYsTacletsLoader
• TacletLoader.TacletFromFileLoader
• TacletProofObligationInput
• TacletSoundnessPOLoader
• TacletSoundnessPOLoader.TacletInfo
• UserDefinedSymbols
• UserDefinedSymbols.NamedComparator