added theorems Id_o, o_Id corrected name of theorem: fund_upd_other -> fun_upd_other
added theorems Id_o, o_Id
corrected name of theorem: fund_upd_other -> fun_upd_other

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