[isabelle-dev] NEWS

Makarius makarius at sketis.net
Tue Mar 18 20:39:17 CET 2008

* 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.

More information about the isabelle-dev mailing list