Subject: Corrections
From: Jonathan Edwards (
Date: Wed Jan 09 2002 - 19:40:44 EST

As requested,

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
ordered pairs.

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