Added le_eq_less_Suc; fixed some comments; a bit of tidying up
Added le_eq_less_Suc; fixed some comments;
a bit of tidying up

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