The lists of rules implemented in the core prover of Rodin are available from the...
Move Theory plug-in to Git
Fix bug #3565590: Can't open a proof
Rewrite WD predicate computation
Fix dependency on theory path
Remove leftover println() in theory plug-in.
Fix all warnings in the rule based prover