| changeset 26500 | b4f0f36a28da |
| parent 26496 | 49ae9456eba9 |
| child 26513 | 6f306c8c2c54 |
--- a/NEWS Sat Mar 29 22:56:01 2008 +0100 +++ b/NEWS Sun Mar 30 23:17:55 2008 +0200 @@ -144,6 +144,10 @@ * Library/ListVector: new theory of arithmetic vector operations. +* Library/Order_Relation: new theory of various orderings as sets of pairs. + Defines preorders, partial orders, linear orders and well-orders + on sets and on types. + * Constants "card", "internal_split", "option_map" now with authentic syntax. INCOMPATIBILITY.