Date: Sat, 23 Nov 85 16:49 EST
From: Daniel L. Weinreb <DLW@SCRC-QUABBIN.ARPA>
There seems to be a minor typo on page 23, second paragraph of 2.2.4,
second line, in which an existential qualifier symbol appears where
there ought to be a numeral "3".
Aw, c'mon! I *know* the code font stinks...
--Guy