changeset 32686 | a62c8627931b |
parent 32618 | 42865636d006 |
parent 32683 | 7c1fe854ca6a |
child 32691 | cdf70f1fc9f9 |
1.1 --- a/NEWS Mon Sep 21 10:58:25 2009 +0200 1.2 +++ b/NEWS Mon Sep 21 11:01:49 2009 +0200 1.3 @@ -94,6 +94,8 @@ 1.4 - mere abbreviations: 1.5 Set.empty (for bot) 1.6 Set.UNIV (for top) 1.7 + Set.inter (for inf) 1.8 + Set.union (for sup) 1.9 Complete_Lattice.Inter (for Inf) 1.10 Complete_Lattice.Union (for Sup) 1.11 Complete_Lattice.INTER (for INFI)