* Eliminated theory ProtoPure and CPure, leaving just one Pure theory.
* Eliminated theory ProtoPure and CPure, leaving just one Pure theory.

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