* Theory Nat: renamed less_imp_le to less_imp_le_nat; removed redundant lemmas less_trans, less_linear, le_imp_less_or_eq, le_less_trans, less_le_trans, which merely duplicate lemmas of the same name in theory Orderings. Potential INCOMPATIBILITY due to more general types and different variable names.