Deleted obsolete axioms inj_serverK and isSym_serverK
Deleted obsolete axioms inj_serverK and isSym_serverK

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