From: Jonathan Edwards (firstname.lastname@example.org)
Date: Wed Jan 09 2002 - 19:40:44 EST
On pg.10, a relation is defined as a set of two-element sets. That only
works for anti-reflexive symmetric relations. The usual definition uses
In the table at the bottom of pg. 13, eval_ is defined as a restriction
of ->_. It should be =_.
This archive was generated by hypermail 2b28 : Wed Jan 09 2002 - 19:40:49 EST