Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!clyde.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!apple!usc!wuarchive!uunet!mcsun!ukc!warwick!cam-cl!news
From: jg@cl.cam.ac.uk (Jim Grundy)
Newsgroups: comp.specification
Subject: No Mistake in "The Z Notation"?
Keywords: Z
Message-ID: <1990Dec20.160343.7371@cl.cam.ac.uk>
Date: 20 Dec 90 16:03:43 GMT
References: <1990Dec20.121939.2539@cl.cam.ac.uk> <1990Dec20.124927.713@cl.cam.ac.uk>
Sender: news@cl.cam.ac.uk (The news facility)
Reply-To: jg@cl.cam.ac.uk
Organization: Cambridge Hardware Verification Group
Lines: 4

Just a mistake in my head
Never mind, next time I'll just have a bit of a think first shall I

Jim