replaced calls to PropLogic.auxcnf by PropLogic.defcnf again
replaced calls to PropLogic.auxcnf by PropLogic.defcnf again

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