comments on Appendices

Subject: comments on Appendices
From: Adriana Maggiore (adriana.maggiore@transeda.com)
Date: Fri Oct 25 2002 - 10:25:52 PDT

page 83 line 18
[FL_Proverty V FL_Property] should be removed

page 84 line 51
"| SERE[=[Count]]" should be "| Boolean[=[Count]]"

page 84 line 52
"| SERE[->[non-zero_Count]]" should be "| Boolean[->[non-zero_Count]]"

page 87 line 28
the title "B.1.2 Definition 2 (...(SEREs)" should have another closed
bracket at the end

page 87 line 40
the title "B.1.3 Definition 3 (... (FL)" " should have another closed
bracket at the end

page 88 line 7
the title "B.1.4 Definition 4 (... (OBE)" " should have another closed
bracket at the end

page 94 line 50
"- [f1 V f2] = ¬[¬f1 U ¬f2]" should be removed

page 95 line 8
" f1 releases f2 = [f1 V f2] should be removed

Adriana 

-- 
Adriana Maggiore		   TransEDA
Tel: +44 (0)23 80 683523 	   4th floor, Black Horse House
Fax: +44 (0)23 80 650805	   Leigh Road, Eastleigh
adriana.maggiore@transeda.com 	   Hampshire, SO50 9FH, UK

This message is sent in confidence for the addressee only.
It may contain legally privileged information. The contents are not 
to be disclosed to anyone other than the addressee. Unauthorised 
recipients are requested to preserve this confidentiality and 
to advise the sender immediately of any error in transmission.

This archive was generated by hypermail 2b28 : Fri Oct 25 2002 - 10:27:58 PDT