de.uka.ilkd.key.proof.event

Interfaces

• ProofDisposedListener

Classes

• ProofDisposedEvent