This is a plug-in for Rodin that provides means to remove proofs from proof obligations. This is usually needed when proofs are broken and Rodin throws an exception when trying to open them.
Plug-in adds a new context menu "Clean Proof Obligation(s)".