| changeset 33269 | 3b7e2dbbd684 |
| parent 33057 | 764547b68538 |
| child 33270 | 320a1d67b9ae |
--- a/NEWS Fri Oct 23 14:33:07 2009 +0200 +++ b/NEWS Tue Oct 27 12:59:57 2009 +0000 @@ -62,6 +62,8 @@ of finite and infinite sets. It is shown that they form a complete lattice. +* New theory SupInf of the supremum and infimum operators for sets of reals. + * Split off prime number ingredients from theory GCD to theory Number_Theory/Primes;