Removed duplicate thms: less_imp_add_less = trans_less_add1 le_imp_add_le = trans_le_add1
Removed duplicate thms:
less_imp_add_less = trans_less_add1
le_imp_add_le = trans_le_add1

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