summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

NEWS

changeset 33269 | 3b7e2dbbd684 |

parent 33057 | 764547b68538 |

child 33270 | 320a1d67b9ae |

1.1 --- a/NEWS Fri Oct 23 14:33:07 2009 +0200 1.2 +++ b/NEWS Tue Oct 27 12:59:57 2009 +0000 1.3 @@ -62,6 +62,8 @@ 1.4 of finite and infinite sets. It is shown that they form a complete 1.5 lattice. 1.6 1.7 +* New theory SupInf of the supremum and infimum operators for sets of reals. 1.8 + 1.9 * Split off prime number ingredients from theory GCD 1.10 to theory Number_Theory/Primes; 1.11