properties in sugar


Subject: properties in sugar
From: eisner@il.ibm.com
Date: Wed May 23 2001 - 05:18:02 PDT


hi all,

attached is the property list in sugar that i promised at our may 3
meeting.

regards,

cindy.

(See attached file: specs_in_sugar)

Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-855-0070
Haifa 31905, Israel e-mail:
eisner@il.ibm.com




This archive was generated by hypermail 2b28 : Wed May 23 2001 - 05:26:49 PDT