| # | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | Priority▾ | |
|---|---|---|---|---|---|---|---|---|
| 3 | Navigation over empty set is fixpoint | None | open | 2005-02-24 | 2005-02-24 | 8 | ||
| 2 | let properties defined on sets | None | open | 2005-02-24 | 2005-02-24 | 9 | ||
| 1 | Narrowing cardinalities | None | open | 2005-02-24 | 2005-02-24 | 5 |