added Provers/induct_method.ML, document/root.tex, ex/Natural_Numbers.thy;
added Provers/induct_method.ML, document/root.tex, ex/Natural_Numbers.thy;

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