de.uka.ilkd.key.api
Classes
KeYApi
Matcher
ProjectedNode
ProofApi
ProofMacroApi
ProofManagementApi
ProofScriptCommandApi
ProofScriptCommandCall
ScriptApi
ScriptResult
ScriptResults
SearchNode
VariableAssignments
Enums
VariableAssignments.VarType