replaced add_def by more elaborate add_defs; added find_def (based on educated guesses);
replaced add_def by more elaborate add_defs;
added find_def (based on educated guesses);

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