Better simprules and markup. Restored the natural number version of the binomial theorem
Better simprules and markup. Restored the natural number version of the binomial theorem

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