XSFD: section 3.4 typo

In section 3.4, there's a typo in the identity rule for empty choice:

∅|g = g = g|e

The second e should be ∅.

Received on Friday, 27 April 2001 03:02:24 UTC