[sv-bc] SV-AC issue 966

-----Non-member submission-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Eduard Cerny
Sent: Tuesday, February 07, 2006 10:39 AM
To: Karen Pieper; sv-bc@eda.org
Cc: sv-ac@eda.org
Subject: [sv-ac] SV-AC issue 966

 Please review the proposal for mantis item 966 regarding $isunbounded
(in mantis and attached here).

Thanks,
ed