* Pure: overloaded definitions are now actually checked for acyclic dependencies;
* Pure: overloaded definitions are now actually checked for acyclic dependencies;

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