simplified info/get_info; Rep/Abs: Theory.add_deps; tuned;
simplified info/get_info;
Rep/Abs: Theory.add_deps;
tuned;

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