use ../isabelle.sty and ../isabellesym.sty;
use ../isabelle.sty and ../isabellesym.sty;

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