Rewrite procedure now works for both compact and full proof objects.
Rewrite procedure now works for both compact and full proof objects.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle