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

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