Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!icdoc!sot-ecs!Andy
From: A.M.Gravell@ecs.soton.ac.uk (Andy Gravell)
Newsgroups: comp.specification
Subject: Renaming in Standard Z
Message-ID: <2827.9009031013@vicky.ecs.soton.ac.uk>
Date: 3 Sep 90 10:13:54 GMT
Sender: amg@ecs.soton.ac.uk
Lines: 8

I am curious to discover why renaming of schema variables (usually
written SCHEMA[new/old]) doesn't appear in Mike Spivey's definitive 
book on Z, the Z notation: a reference manual, Prentice Hall 89.

Is this just an omission for reasons of space, or were there in fact
problems with giving this schema operator a precise definition?

Andy Gravell