exchanged the declaration of "seealso" and loading of "makeidx" because the latter redeclares this macro
exchanged the declaration of "seealso" and loading of "makeidx" because the
latter redeclares this macro

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