Xref: utzoo comp.lang.eiffel:520 comp.object:587 Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!stc!root44!hrc63!mrcu!yh87 From: yh87@mrcu (Paul Johnson) Newsgroups: comp.lang.eiffel,comp.object Subject: Re: Eiffel, assertions, Object-Z and library books. Message-ID: <292@mrcu> Date: 6 Dec 89 14:26:26 GMT References: <288@oasis.mrcu> Reply-To: yh87@uk.co.gec-mrc (Paul Johnson) Organization: GEC-Marconi Research Centre, Great Baddow, UK Lines: 8 Summary: Expires: Sender: Followup-To: The last message did not have my email address in. This one does. Sorry. Paul. -- Paul Johnson | Internet: paj@uk.co.gec-mrc | Phone: +44 245 73331 ext 3216 -------------!------------------.----------!------------------------------- GEC-Marconi Research is not | Don't worry: Baldrick has a Cunning Plan! responsible for my opinions. | (Graffiti on East side of Berlin Wall)