FOL/simpdata: tidied FOL/simpdata/not_rews: moved the law "~(P|Q)  <-> ~P & ~Q" from distrib_rews FOL/simpdata/cla_rews: added the law "~(P&Q)  <-> ~P | ~Q"
FOL/simpdata: tidied
FOL/simpdata/not_rews: moved the law "~(P|Q)  <-> ~P & ~Q" from distrib_rews
FOL/simpdata/cla_rews: added the law "~(P&Q)  <-> ~P | ~Q"

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