moved atomize stuff to theory IFOL; added induct/cases setup;
moved atomize stuff to theory IFOL;
added induct/cases setup;

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